PARallel FORmal Computing Environment (ESPRIT Basic Research)
EATCS 1994 Report (1994) |
Languages mentioned
- &-Prolog {1990}
- ACE {1994} Parallel logic language
- AKL {1991} Andorra Kernel Language
- AKL {1994} Agents Kernel Language
- CIAO {1994} Distributed And/Or parallel prolog
- ElipSys {1994}
- Muse {1990} Or-Parallel Prolog
|
|