A Distributed, Net Oriented Semantics for Delta Prolog.
Antonio BrogiRoberto GorrieriPublished in: TAPSOFT, Vol.1 (1989)
Keyphrases
- logic programming
- semantically equivalent
- logic programming language
- cooperative
- multi agent
- distributed systems
- computer networks
- distributed environment
- expert systems
- artificial intelligence
- logic programs
- programming language
- data sets
- peer to peer
- lightweight
- semantic information
- distributed data
- knowledge base
- conceptual model
- natural language
- metadata
- communication cost
- theorem proving
- formal semantics
- communication overhead
- constraint logic programming
- distributed network