P-Prolog: A Parallel Logic Language Based on Exclusive Relation.
Rong YangHideo AisoPublished in: ICLP (1986)
Keyphrases
- logic programming
- logic programming language
- programming language
- abstract machine
- constraint logic programming
- formal language
- intuitionistic logic
- knowledge representation
- proof theory
- classical logic
- formal theory
- programs written
- predicate calculus
- language learning
- general purpose
- dynamic logic
- formal logic
- natural language
- operational semantics
- parallel implementation
- shared memory
- modal logic
- knowledge base
- declarative programming
- highly expressive
- semantically equivalent
- expert systems
- linear temporal logic
- lambda calculus
- order sorted
- reasoning about actions
- distributed memory
- horn clauses
- object oriented programming
- answer set programming
- parallel processing