Design and Distributed Implementation of the Parallel Logic Language Shared Prolog.
Vincenzo AmbriolaPaolo CiancariniMarco DaneluttoPublished in: PPOPP (1990)
Keyphrases
- logic programming
- parallel distributed
- programming language
- logic programming language
- computer architecture
- implementation issues
- real time embedded
- case study
- specification language
- master slave
- formal descriptions
- user interface
- design process
- parallel processing
- efficient implementation
- abstract machine
- formal language
- distributed architecture
- logic programs
- general purpose
- expert systems
- multi agent systems
- multi agent