DBpedia – Linked Data Fragments

Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Logic_programming> ?p ?o }

• Logic_programming 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.".
• Logic_programming wikiPageExternalLink www.logicprogramming.org.
• Logic_programming wikiPageExternalLink SS06-08-003.pdf.
• Logic_programming wikiPageExternalLink index.php?project=Florid.
• Logic_programming wikiPageExternalLink racklog.
• Logic_programming wikiPageExternalLink LogicProgramming.
• Logic_programming wikiPageExternalLink survey.pdf.
• Logic_programming wikiPageExternalLink logic-prog.
• Logic_programming wikiPageExternalLink TPLP.
• Logic_programming wikiPageExternalLink the%20early%20years.pdf.
• Logic_programming wikiPageExternalLink lpp.
• Logic_programming wikiPageExternalLink node12.html.
• Logic_programming wikiPageExternalLink Cpp.
• Logic_programming wikiPageExternalLink www.pdc.dk.
• Logic_programming wikiPageExternalLink ontobroker.
• Logic_programming wikiPageID "17927".
• Logic_programming wikiPageLength "34222".
• Logic_programming wikiPageOutDegree "132".
• Logic_programming wikiPageRevisionID "704753569".
• Logic_programming wikiPageWikiLink Abductive_logic_programming.
• Logic_programming wikiPageWikiLink Abductive_reasoning.
• Logic_programming wikiPageWikiLink Absys.
• Logic_programming wikiPageWikiLink Actor_model.
• Logic_programming wikiPageWikiLink Air_traffic_control.
• Logic_programming wikiPageWikiLink Alain_Colmerauer.
• Logic_programming wikiPageWikiLink Algebraic_Logic_Functional_programming_language.
• Logic_programming wikiPageWikiLink Alonzo_Church.
• Logic_programming wikiPageWikiLink And–or_tree.
• Logic_programming wikiPageWikiLink Answer_set_programming.
• Logic_programming wikiPageWikiLink Association_for_Logic_Programming.
• Logic_programming wikiPageWikiLink Automated_timetabling.
• Logic_programming wikiPageWikiLink Backward_chaining.
• Logic_programming wikiPageWikiLink Bertram_Raphael.
• Logic_programming wikiPageWikiLink Boolean_satisfiability_problem.
• Logic_programming wikiPageWikiLink Category:1972_introductions.
• Logic_programming wikiPageWikiLink Category:Logic_programming.
• Logic_programming wikiPageWikiLink Category:Logic_programming_languages.
• Logic_programming wikiPageWikiLink Category:Programming_paradigms.
• Logic_programming wikiPageWikiLink Ciao_(programming_language).
• Logic_programming wikiPageWikiLink Circumscription_(logic).
• Logic_programming wikiPageWikiLink Civil_engineering.
• Logic_programming wikiPageWikiLink Closed-world_assumption.
• Logic_programming wikiPageWikiLink Common_sense.
• Logic_programming wikiPageWikiLink Concurrent_computing.
• Logic_programming wikiPageWikiLink Concurrent_constraint_logic_programming.
• Logic_programming wikiPageWikiLink Concurrent_logic_programming.
• Logic_programming wikiPageWikiLink Conjunctive_normal_form.
• Logic_programming wikiPageWikiLink Constraint_logic_programming.
• Logic_programming wikiPageWikiLink Constraint_satisfaction_problem.
• Logic_programming wikiPageWikiLink Cordell_Green.
• Logic_programming wikiPageWikiLink Datalog.
• Logic_programming wikiPageWikiLink Declarative_programming.
• Logic_programming wikiPageWikiLink Digital_electronics.
• Logic_programming wikiPageWikiLink Eugene_Charniak.
• Logic_programming wikiPageWikiLink Event_calculus.
• Logic_programming wikiPageWikiLink F-logic.
• Logic_programming wikiPageWikiLink Fifth_generation_computer.
• Logic_programming wikiPageWikiLink Flora-2.
• Logic_programming wikiPageWikiLink Formal_methods.
• Logic_programming wikiPageWikiLink Forward_chaining.
• Logic_programming wikiPageWikiLink Fril.
• Logic_programming wikiPageWikiLink Functional_programming.
• Logic_programming wikiPageWikiLink Fuzzy_logic.
• Logic_programming wikiPageWikiLink Gerald_Jay_Sussman.
• Logic_programming wikiPageWikiLink Guard_(computer_science).
• Logic_programming wikiPageWikiLink Gödel_(programming_language).
• Logic_programming wikiPageWikiLink HiLog.
• Logic_programming wikiPageWikiLink Higher-order_logic.
• Logic_programming wikiPageWikiLink Higher-order_programming.
• Logic_programming wikiPageWikiLink Horn_clause.
• Logic_programming wikiPageWikiLink Indeterminacy_in_concurrent_computation.
• Logic_programming wikiPageWikiLink Inductive_logic_programming.
• Logic_programming wikiPageWikiLink International_Organization_for_Standardization.
• Logic_programming wikiPageWikiLink John_Alan_Robinson.
• Logic_programming wikiPageWikiLink John_McCarthy_(computer_scientist).
• Logic_programming wikiPageWikiLink Knowledge_representation_and_reasoning.
• Logic_programming wikiPageWikiLink Lambda_calculus.
• Logic_programming wikiPageWikiLink Linear_logic.
• Logic_programming wikiPageWikiLink Lisp_(programming_language).
• Logic_programming wikiPageWikiLink Logic.
• Logic_programming wikiPageWikiLink Logic_in_computer_science.
• Logic_programming wikiPageWikiLink Logic_programming.
• Logic_programming wikiPageWikiLink Logtalk.
• Logic_programming wikiPageWikiLink Machine_learning.
• Logic_programming wikiPageWikiLink Marseille.
• Logic_programming wikiPageWikiLink Marvin_Minsky.
• Logic_programming wikiPageWikiLink Massachusetts_Institute_of_Technology.
• Logic_programming wikiPageWikiLink Mechanical_engineering.
• Logic_programming wikiPageWikiLink Mercury_(programming_language).
• Logic_programming wikiPageWikiLink Metalevel_programming.
• Logic_programming wikiPageWikiLink Natural_language_understanding.
• Logic_programming wikiPageWikiLink Negation_as_failure.
• Logic_programming wikiPageWikiLink Non-monotonic_logic.
• Logic_programming wikiPageWikiLink Object_language.
• Logic_programming wikiPageWikiLink Oz_(programming_language).
• Logic_programming wikiPageWikiLink Pat_Hayes.
• Logic_programming wikiPageWikiLink Planner_(programming_language).
• Logic_programming wikiPageWikiLink Probabilistic_inductive_logic_programming.
• Logic_programming wikiPageWikiLink Procedural_programming.
• Logic_programming wikiPageWikiLink Program_transformation.

• next