Logic programming languages
This is an old revision of this page, as edited by EdBot (talk | contribs) at 21:54, April 1, 2008. It may differ significantly from current revision.
Logic programming languages is a family of programming languages based on predicate calculus.