Category:Prolog: Difference between revisions

Mark as a declarative language
(Added features)
(Mark as a declarative language)
Line 2:
|strength=strong
|checking=dynamic
|gc=yes}}{{language programming paradigm|Declarative}}
|gc=yes}}[[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">
Anonymous user