Delta Prolog: A Distributed Backtracking Extension with Events.
Luís Moniz PereiraLuís MonteiroJosé C. CunhaJoaquim Nunes AparícioPublished in: ICLP (1986)
Keyphrases
- distributed systems
- distributed environment
- peer to peer
- multi agent
- cooperative
- expert systems
- lightweight
- constraint satisfaction
- event processing
- theorem proving
- computer networks
- human activities
- search space
- search algorithm
- event recognition
- abstract machine
- communication overhead
- temporal relations
- databases
- communication cost
- event detection
- mobile agents
- logic programming
- knowledge base