Delta-Prolog: A Distributed Logic Programming Language.
Luís Moniz PereiraRoger NasrPublished in: FGCS (1984)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- declarative semantics
- situation calculus
- distributed environment
- logic programs
- multi agent
- distributed systems
- peer to peer
- programming language
- answer set programming
- nonmonotonic reasoning
- constraint satisfaction
- lower bound
- search algorithm
- database