Category:Prolog: Difference between revisions

Category:Prolog (view source)

183 bytes added , 11 years ago

no edit summary

Anonymous user

Revision as of 15:26, 7 October 2009 (view source) rosettacode>Mwn3d m (LCT link) ← Older edit		Latest revision as of 10:40, 9 June 2012 (view source) rosettacode>Muspellsson No edit summary
(2 intermediate revisions by 2 users not shown)
Line 3: \|checking=dynamic \|gc=yes \|exec=both \|LCT=yes}}{{language programming paradigm\|Declarative}}▼ \|LCT=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.▼ \|compat=structural \|parampass=value \|bnf=[http://cdn.bitbucket.org/muspellsson/rosetta/downloads/prolog-bnf.html] ▲~~\|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. <br clear="both">