Jump to content

Logic programming

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Coelis (talk | contribs) at 10:05, 26 July 2001. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

A branch of programming in which a set of attributes that a solution should have are specified rather than set of steps to obtain such a solution. A widely used logical programming language is Prolog.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Logic_programming&oldid=263970"