Category:Prolog: Difference between revisions

Content added Content deleted
mNo edit summary
mNo edit summary
Line 4: Line 4:
|gc=yes
|gc=yes
|LCT=yes}}{{language programming paradigm|Declarative}}{{language programming paradigm|Logic_Programming}}
|LCT=yes}}{{language programming paradigm|Declarative}}{{language programming paradigm|Logic_Programming}}
[[wp:Prolog|Prolog]] is a logic programming language. It is programmed declaratively, using ''resolution'' and ''backtracking'' to confirm propositions based on declared facts and rules.
[[wp:Prolog|Prolog]] is a [[logic programming]] language. It is programmed declaratively, using ''resolution'' and ''backtracking'' to confirm propositions based on declared facts and rules.
<br clear="both">
<br clear="both">