A Parallel Logic Simulator Based on Concurrent Prolog.
Yasunori NodaTetsuo KinoshitaAkira OkumuraTatsuro HiranoTadashi HirutaPublished in: LP (1985)
Keyphrases
- logic programming
- knowledge representation
- logic programs
- parallel implementation
- classical logic
- expert systems
- parallel processing
- knowledge base
- horn clauses
- shared memory
- simulation model
- programming language
- modal logic
- theorem proving
- test bed
- simulation environment
- computer architecture
- graphics processing units
- artificial intelligence
- constraint logic programming
- simulation tool
- asynchronous circuits
- mutual exclusion
- proof theory
- prolog programs
- sound and complete axiomatization