A Sequential Abstract Machine for a Distributed Logic Language.

José C. Cunha Manuel B. Carvalhosa

Published 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