An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism.
Akikazu TakeuchiKazuko TakahashiPublished in: Concurrency: Theory, Language, And Architecture (1989)
Keyphrases
- operational semantics
- declarative semantics
- logic programming language
- shared memory
- parallel processing
- logic programming
- constraint logic programming
- parallel execution
- inference rules
- formal semantics
- parallel computing
- situation calculus
- level parallelism
- model theoretic
- mental states
- logic programs
- activity diagrams
- integrity constraints
- data model
- database systems