Logic programming
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. to solve H, solve B1, and ... and solve Bn. Consider, for example, the following clause: fallible(X) :- human(X). human(socrates).
field
influenced by
Wikipage disambiguates
Higher-order logic programmingHigher order logic programmingLinear logic programmingLogic ProgrammingLogic programLogic programming languageLogical (programming)Logical programmingMetalogic programmingObject-oriented logic programmingRelational programmingRule-BasedRule-based (programming)Rule-based programmingTransaction logic programming
Wikipage redirect
focus
primaryTopic
Logic programming
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. to solve H, solve B1, and ... and solve Bn. Consider, for example, the following clause: fallible(X) :- human(X). human(socrates).
has abstract
In informatica la programmazio ...... ogrammazione logica abduttiva.
@it
La programación lógica es un t ...... o, o relación entre elementos.
@es
La programmation logique est u ...... est un des principaux outils.
@fr
Logic programming is a program ...... ve the efficiency of programs.
@en
Logisch programmeren is een vo ...... sche programmeertaal is Curry.
@nl
Logische Programmierung (Prädi ...... Programmiersprache ist Prolog.
@de
Programação lógica é um paradi ...... 1989 para um apanhado geral).
@pt
Programowanie logiczne (nazywa ...... atwo też wykonywać równolegle.
@pl
Логи́ческое программи́рование ...... возвратами), например, Ether).
@ru
البرمجة المنطقية Logic program ...... لذي يقوم بحل المشكلة بشكل فعال
@ar
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
744,252,214
hypernym
comment
In informatica la programmazio ...... di clausole è l'unificazione.
@it
La programación lógica es un t ...... o, o relación entre elementos.
@es
La programmation logique est u ...... ion à une question ou requête.
@fr
Logic programming is a program ...... :- human(X). human(socrates).
@en
Logisch programmeren is een vo ...... sche programmeertaal is Curry.
@nl
Logische Programmierung (Prädi ...... Programmiersprache ist Prolog.
@de
Programação lógica é um paradi ...... (também baseado em backtracki
@pt
Programowanie logiczne (nazywa ...... u tak: Co czytamy następująco:
@pl
Логи́ческое программи́рование ...... граммирования является Prolog.
@ru
البرمجة المنطقية Logic program ...... لذي يقوم بحل المشكلة بشكل فعال
@ar
label
Logic programming
@en
Logisch programmeren
@nl
Logische Programmierung
@de
Programación lógica
@es
Programação lógica
@pt
Programmation logique
@fr
Programmazione logica
@it
Programowanie logiczne
@pl
Логическое программирование
@ru
برمجة منطقية
@ar