Category:Prolog: Difference between revisions
Content added Content deleted
m (LCT link) |
mNo edit summary |
||
Line 3: | Line 3: | ||
|checking=dynamic |
|checking=dynamic |
||
|gc=yes |
|gc=yes |
||
|LCT=yes}}{{language programming paradigm|Declarative}} |
|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"> |