A Sequential Abstract Machine for a Distributed Logic Language.
José C. CunhaManuel B. CarvalhosaPublished in: ACM Conference on Computer Science (1992)
Keyphrases
- abstract machine
- data model
- distributed systems
- cooperative
- specification language
- distributed environment
- logic programming
- peer to peer
- language learning
- query language
- programming language
- database
- knowledge representation
- multi agent
- fault tolerant
- modal logic
- neural network
- conditional logic
- formal theory
- intuitionistic logic
- databases