Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog.
J. W. de BakkerJoost N. KokPublished in: FGCS (1988)
Keyphrases
- logic programming
- logic programming language
- correctness criterion
- electronic commerce
- formal semantics
- high level
- semantically equivalent
- concurrent processes
- programming language
- logic programs
- semantic information
- knowledge representation
- answer set programming
- nested transactions
- constraint logic programming
- expert systems
- databases
- abstract machine
- mutual exclusion
- linear logic
- knowledge base