Category:Prolog: Difference between revisions
Content added Content deleted
(Added features) |
(Mark as a declarative language) |
||
Line 2: | Line 2: | ||
|strength=strong |
|strength=strong |
||
|checking=dynamic |
|checking=dynamic |
||
|gc=yes}}{{language programming paradigm|Declarative}} |
|||
[[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"> |