Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q275603> ?p ?o }
- Q275603 subject Q13360530.
- Q275603 subject Q7236453.
- Q275603 subject Q8601379.
- Q275603 abstract "Logic programming is a programming paradigm based on formal logic. A program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, Answer set programming (ASP) and Datalog. In all of these languages, rules are written in the form of clauses:H :- B1, …, Bn.and are read declaratively as logical implications:H if B1 and … and Bn.H is called the head of the rule and B1, …, Bn is called the body. Facts are rules that have no body, and are written in the simplified form:H.In the simplest case in which H, B1, …, Bn are all atomic formulae, these clauses are called definite clauses or Horn clauses. However, there exist many extensions of this simple case, the most important one being the case in which conditions in the body of a clause can also be negations of atomic formulae. Logic programming languages that include this extension have the knowledge representation capabilities of a non-monotonic logic.In ASP and Datalog, logic programs have only a declarative reading, and their execution is performed by means of a proof procedure or model generator whose behaviour is not meant to be under the control of the programmer. However, in the Prolog family of languages, logic programs also have a procedural interpretation as goal-reduction procedures:to solve H, solve B1, and ... and solve Bn.Consider, for example, the following clause:fallible(X) :- human(X).based on an example used by Terry Winograd to illustrate the programming language Planner. As a clause in a logic program, it can be used both as a procedure to test whether X is fallible by testing whether X is human, and as a procedure to find an X that is fallible by finding an X that is human. Even facts have a procedural interpretation. For example, the clause:human(socrates).can be used both as a procedure to show that socrates is human, and as a procedure to find an X that is human by "assigning" socrates to X.The declarative reading of logic programs can be used by a programmer to verify their correctness. Moreover, logic-based program transformation techniques can also be used to transform logic programs into logically equivalent programs that are more efficient. In the Prolog family of logic programming languages, the programmer can also use the known problem-solving behaviour of the execution mechanism to improve the efficiency of programs.".
- Q275603 wikiPageExternalLink www.logicprogramming.org.
- Q275603 wikiPageExternalLink SS06-08-003.pdf.
- Q275603 wikiPageExternalLink index.php?project=Florid.
- Q275603 wikiPageExternalLink racklog.
- Q275603 wikiPageExternalLink LogicProgramming.
- Q275603 wikiPageExternalLink survey.pdf.
- Q275603 wikiPageExternalLink logic-prog.
- Q275603 wikiPageExternalLink TPLP.
- Q275603 wikiPageExternalLink the%20early%20years.pdf.
- Q275603 wikiPageExternalLink lpp.
- Q275603 wikiPageExternalLink node12.html.
- Q275603 wikiPageExternalLink Cpp.
- Q275603 wikiPageExternalLink www.pdc.dk.
- Q275603 wikiPageExternalLink ontobroker.
- Q275603 wikiPageWikiLink Q101333.
- Q275603 wikiPageWikiLink Q1049183.
- Q275603 wikiPageWikiLink Q1068763.
- Q275603 wikiPageWikiLink Q1078276.
- Q275603 wikiPageWikiLink Q1102454.
- Q275603 wikiPageWikiLink Q1128326.
- Q275603 wikiPageWikiLink Q1141183.
- Q275603 wikiPageWikiLink Q1172264.
- Q275603 wikiPageWikiLink Q1208217.
- Q275603 wikiPageWikiLink Q1266004.
- Q275603 wikiPageWikiLink Q128392.
- Q275603 wikiPageWikiLink Q132874.
- Q275603 wikiPageWikiLink Q13360530.
- Q275603 wikiPageWikiLink Q1350299.
- Q275603 wikiPageWikiLink Q1418502.
- Q275603 wikiPageWikiLink Q1464197.
- Q275603 wikiPageWikiLink Q15028.
- Q275603 wikiPageWikiLink Q1559077.
- Q275603 wikiPageWikiLink Q160302.
- Q275603 wikiPageWikiLink Q163468.
- Q275603 wikiPageWikiLink Q1644136.
- Q275603 wikiPageWikiLink Q17008825.
- Q275603 wikiPageWikiLink Q17029831.
- Q275603 wikiPageWikiLink Q17084521.
- Q275603 wikiPageWikiLink Q17090028.
- Q275603 wikiPageWikiLink Q173156.
- Q275603 wikiPageWikiLink Q1778029.
- Q275603 wikiPageWikiLink Q188267.
- Q275603 wikiPageWikiLink Q193076.
- Q275603 wikiPageWikiLink Q204815.
- Q275603 wikiPageWikiLink Q206040.
- Q275603 wikiPageWikiLink Q2088989.
- Q275603 wikiPageWikiLink Q2119400.
- Q275603 wikiPageWikiLink Q221395.
- Q275603 wikiPageWikiLink Q224821.
- Q275603 wikiPageWikiLink Q23482.
- Q275603 wikiPageWikiLink Q2349274.
- Q275603 wikiPageWikiLink Q2379942.
- Q275603 wikiPageWikiLink Q242028.
- Q275603 wikiPageWikiLink Q2488768.
- Q275603 wikiPageWikiLink Q2492680.
- Q275603 wikiPageWikiLink Q2539.
- Q275603 wikiPageWikiLink Q2651693.
- Q275603 wikiPageWikiLink Q275603.
- Q275603 wikiPageWikiLink Q2852531.
- Q275603 wikiPageWikiLink Q308495.
- Q275603 wikiPageWikiLink Q3258085.
- Q275603 wikiPageWikiLink Q327981.
- Q275603 wikiPageWikiLink Q3294091.
- Q275603 wikiPageWikiLink Q332880.
- Q275603 wikiPageWikiLink Q335027.
- Q275603 wikiPageWikiLink Q344524.
- Q275603 wikiPageWikiLink Q3459697.
- Q275603 wikiPageWikiLink Q3478658.
- Q275603 wikiPageWikiLink Q3490465.
- Q275603 wikiPageWikiLink Q3594646.
- Q275603 wikiPageWikiLink Q3809412.
- Q275603 wikiPageWikiLink Q41506.
- Q275603 wikiPageWikiLink Q4347052.
- Q275603 wikiPageWikiLink Q4650409.
- Q275603 wikiPageWikiLink Q4665212.
- Q275603 wikiPageWikiLink Q4723982.
- Q275603 wikiPageWikiLink Q4895807.
- Q275603 wikiPageWikiLink Q49108.
- Q275603 wikiPageWikiLink Q5119098.
- Q275603 wikiPageWikiLink Q5121755.
- Q275603 wikiPageWikiLink Q5159106.
- Q275603 wikiPageWikiLink Q5164378.
- Q275603 wikiPageWikiLink Q531152.
- Q275603 wikiPageWikiLink Q5407117.
- Q275603 wikiPageWikiLink Q5416707.
- Q275603 wikiPageWikiLink Q5504566.
- Q275603 wikiPageWikiLink Q5757971.
- Q275603 wikiPageWikiLink Q6017765.
- Q275603 wikiPageWikiLink Q617433.
- Q275603 wikiPageWikiLink Q627600.
- Q275603 wikiPageWikiLink Q7143532.
- Q275603 wikiPageWikiLink Q7236453.
- Q275603 wikiPageWikiLink Q7248437.
- Q275603 wikiPageWikiLink Q7273242.
- Q275603 wikiPageWikiLink Q7301504.
- Q275603 wikiPageWikiLink Q7595770.