Jump to content

Logical programming

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 71.198.216.63 (talk) at 14:33, 4 April 2007 (established stub for article as suggested in discussion page of Logic programming). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.