Implementing a Prolog machine with multiple functional units
MICRO 21 Proceedings of the 21st annual workshop on Microprogramming and microarchitecture
Functional computations in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A high performance Prolog processor with multiple function units
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
A direct execution architecture for Prolog?
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
A sequential abstract machine for a distributed logic language
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Efficient dataflow analysis of logic programs
Journal of the ACM (JACM)
A general framework for semantics-based bottom-up abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Parallel logic programming systems
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages
IEEE Transactions on Parallel and Distributed Systems
PAN: a portable, parallel prolog: Its design, realisation and performance
New Generation Computing
Proceedings of the sixth workshop on Declarative aspects of multicore programming
Integrated symbol table, engine and heap memory management in multi-engine prolog
Proceedings of the international symposium on Memory management
Theory and Practice of Logic Programming - Prolog Systems
Agent spaces: a scalable architecture for distributed logic agents
Proceedings of the 2012 ACM Research in Applied Computation Symposium
Hi-index | 0.02 |