Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Logic_programming> ?p ?o. }
Showing items 1 to 51 of
51
with 100 items per page.
- Logic_programming abstract "Logic programming is a programming paradigm based on formal logic. Programs written in a logical programming language are sets of logical sentences, expressing facts and rules about some problem domain. Together with an inference algorithm, they form a program. Major logic programming languages include Prolog and Datalog.A form of logical sentences commonly found in logic programming, but not exclusively, is the Horn clause. An example is:p(X, Y) if <tt>q(X) and r(Y)Logical sentences can be understood purely declaratively. They can also be understood procedurally as goal-reduction procedures: to solve p(X, Y), first solve q(X), then solve r(Y).The programmer can use the declarative reading of logic programs to verify their correctness. In addition, the programmer can use the known behaviour of the program executor to develop a procedural understanding of his program. This may be helpful when seeking better execution speed. However, many logic-based program transformation techniques have been developed to transform logic programs automatically and make them efficient.".
- 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 logic-prog.
- Logic_programming wikiPageExternalLink ALP.
- Logic_programming wikiPageExternalLink TPLP.
- Logic_programming wikiPageExternalLink survey.pdf.
- Logic_programming wikiPageExternalLink IFIP%2074.pdf.
- Logic_programming wikiPageExternalLink sl.pdf.
- 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 wikiPageRevisionID "606100741".
- Logic_programming hasPhotoCollection Logic_programming.
- Logic_programming subject Category:1972_introductions.
- Logic_programming subject Category:Logic_programming.
- Logic_programming subject Category:Programming_paradigms.
- Logic_programming comment "Logic programming is a programming paradigm based on formal logic. Programs written in a logical programming language are sets of logical sentences, expressing facts and rules about some problem domain. Together with an inference algorithm, they form a program. Major logic programming languages include Prolog and Datalog.A form of logical sentences commonly found in logic programming, but not exclusively, is the Horn clause.".
- Logic_programming label "Logic programming".
- Logic_programming label "Logisch programmeren".
- Logic_programming label "Logische Programmierung".
- Logic_programming label "Programación lógica".
- Logic_programming label "Programação lógica".
- Logic_programming label "Programmation logique".
- Logic_programming label "Programmazione logica".
- Logic_programming label "Programowanie logiczne".
- Logic_programming label "Логическое программирование".
- Logic_programming label "برمجة منطقية".
- Logic_programming label "論理プログラミング".
- Logic_programming label "邏輯編程".
- Logic_programming sameAs Logické_programování.
- Logic_programming sameAs Logische_Programmierung.
- Logic_programming sameAs Programación_lógica.
- Logic_programming sameAs Programmation_logique.
- Logic_programming sameAs Programmazione_logica.
- Logic_programming sameAs 論理プログラミング.
- Logic_programming sameAs 논리형_프로그래밍.
- Logic_programming sameAs Logisch_programmeren.
- Logic_programming sameAs Programowanie_logiczne.
- Logic_programming sameAs Programação_lógica.
- Logic_programming sameAs m.04k52.
- Logic_programming sameAs Q275603.
- Logic_programming sameAs Q275603.
- Logic_programming wasDerivedFrom Logic_programming?oldid=606100741.
- Logic_programming isPrimaryTopicOf Logic_programming.