From OntologPSMW

Jump to: navigation, search
[ ]

Logic programming (LP)     (1)

Logic programming is a paradigm where computation arises from proof search in a logic according to a fixed, predictable strategy. It thereby unifies logical specification and implementation in a way that is quite different from the other 3 main programming paradigms (functional, imperative, or object oriented programming). Its theory of computation is based on first order logic.     (1A)

This page has been migrated from the OntologWiki - Click here for original page     (1C)