Revision as of 21:45, 17 August 2009 (view source) rosettacode>Dkf (Mark as a declarative language) ← Older edit		Revision as of 15:26, 7 October 2009 (view source) rosettacode>Mwn3d m (LCT link) Newer edit →
Line 2: \|strength=strong \|checking=dynamic \|gc=yes \|gcLCT=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">

Category:Prolog: Difference between revisions

Category:Prolog (view source)