The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines
Paul TarauPublished in: CoRR (2011)
Keyphrases
- logic programming
- layered architecture
- architectural design
- design considerations
- hardware implementation
- real time
- core components
- platform independent
- software architecture
- design decisions
- hardware architecture
- parallel architecture
- multi valued
- hardware design
- constraint logic programming
- functional programming
- fpga technology
- classical logic
- inference engine
- efficient implementation
- programming language
- expert systems
- modal logic
- software implementation
- design process
- software engineering
- hardware architectures