The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines.
Paul TarauPublished in: Theory Pract. Log. Program. (2012)
Keyphrases
- logic programming
- layered architecture
- architectural design
- hardware architecture
- efficient implementation
- management system
- design considerations
- expert systems
- logic synthesis
- vlsi implementation
- instruction set
- client server architecture
- inference engine
- class labels
- parallel architecture
- software implementation
- hardware design
- knowledge representation
- vlsi architecture
- algebraic structure
- functional programming
- neural network
- fpga technology
- java platform
- texas instruments