P-Prolog: A Parallel Logic Language Based on Exclusive Relation.
Rong YangHideo AisoPublished in: New Gener. Comput. (1987)
Keyphrases
- logic programming
- programming language
- logic programming language
- abstract machine
- formal language
- constraint logic programming
- proof theory
- dynamic logic
- operational semantics
- parallel processing
- highly expressive
- programs written
- specification language
- intuitionistic logic
- logic programs
- language learning
- lambda calculus
- semantically equivalent
- formal theory
- declarative programming
- parallel computing
- parallel implementation
- predicate calculus
- answer set programming
- general purpose
- knowledge representation
- natural language
- shared memory
- inference rules
- deductive databases
- knowledge base
- relation algebra
- artificial intelligence