Jump to content

Logical programming

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Arthur Rubin (talk | contribs) at 17:43, 5 April 2007 (Add {{db-context}}, as there is absolutely nothing here yet that should be here or not in Logic programming). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Note to closing admin. Please revert to redirect, rather than deleting.

Logical programming is the general term for the use of logic in programming. It is more general that the more restricted term Logic programming which applies to the use of a restricted form of backward chaining logic in programming.