Garbarge collection for Prolog based on WAM
Communications of the ACM
A matching tree oriented abstract machine for Prolog
Logic programming
Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
An abstract machine for tabled execution of fixed-order stratified logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Automating the Construction of Internet Portals with Machine Learning
Information Retrieval
Proceedings of the 17th International Conference on Logic Programming
Understanding Memory Management in Prolog Systems
Proceedings of the 17th International Conference on Logic Programming
A Different Look at Garbage Collection for the WAM
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
The External Database in SICStus Prolog
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
Implementation of a Linear Tabling Mechanism
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
So Many WAM Variations, So Little Time
CL '00 Proceedings of the First International Conference on Computational Logic
Instruction merging and specialization in the SICStus Prolog virtual machine
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Query transformations for improving the efficiency of ilp systems
The Journal of Machine Learning Research
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming
Learning the structure of Markov logic networks
ICML '05 Proceedings of the 22nd international conference on Machine learning
Representing sentence structure in hidden Markov models for information extraction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
View learning for statistical relational learning: with an application to mammography
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A comparison of logic-based infrastructures for concern detection and extraction
Proceedings of the 3rd workshop on Linking aspect technology and evolution
On Just in Time Indexing of Dynamic Predicates in Prolog
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
On the implementation of the probabilistic logic programming language problog
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming - Prolog Systems
| Hi-index | 0.00 |
Declarative systems, such as logic programming, should be ideal to process large data sets efficiently. Unfortunately, the high-level nature of logic-based representations can cause inefficiencies, and may lead in some cases to unacceptable performance. We discuss how logic programming systems can accommodate large amounts of data in main memory. We use a number of real datasets to evaluate performance and discuss how a number of techniques can be used to improve memory scalabality for such datasets.