Enhanced Prolog Remote Predicate Call Protocol
Alin SuciuKalman PusztaiAndrei DiaconuPublished in: CoRR (2006)
Keyphrases
- tcp ip
- remote server
- wide area network
- logic programming
- lightweight
- horn clauses
- communication protocol
- expert systems
- coloured petri nets
- real time
- network protocols
- prolog programs
- logic programming language
- logic programs
- knowledge representation
- cryptographic protocols
- web services
- knowledge base
- protocol specification
- data sets