on Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
on Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
A matching tree oriented abstract machine for Prolog
Logic programming
Full Prolog and scheduling or-parallelism in muse
International Journal of Parallel Programming
Compilation of compound terms in Prolog
Proceedings of the 1990 North American conference on Logic programming
Can logic programming execute as fast as imperative programming?
Can logic programming execute as fast as imperative programming?
Query evaluation under the well-founded semantics
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Unification factoring for efficient execution of logic programs
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An abstract machine for tabled execution of fixed-order stratified logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Principal type-schemes for functional programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
YapOr: an Or-Parallel Prolog System Based on Environment Copying
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Understanding Memory Management in Prolog Systems
Proceedings of the 17th International Conference on Logic Programming
Achieving Scalability in Parallel Tabled Logic Programs
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Optimising Bytecode Emulation for Prolog
PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
A Novel Term Compression Scheme and Data Representation in the BinWAM
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
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
Ilp: a short look back and a longer look forward
The Journal of Machine Learning Research
The ,T framework in Eurotra: a theoretically committed notation for MT
COLING '86 Proceedings of the 11th coference on Computational linguistics
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming
Machine Learning
An Introduction to Language Processing with Perl and Prolog: An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German (Cognitive Technologies)
Interactive, scalable, declarative program analysis: from prototype to implementation
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Fast Frequent Querying with Lazy Control Flow Compilation
Theory and Practice of Logic Programming
Incremental copying garbage collection for WAM-based Prolog systems
Theory and Practice of Logic Programming
Comparing tag scheme variations using an abstract machine generator
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
A Top Down Interpreter for LPAD and CP-Logic
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Concurrency, Graphs and Models
Thesaurus-Based Search in Large Heterogeneous Collections
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Improving the efficiency of inductive logic programming systems
Software—Practice & Experience
The Life of a Logic Programming System
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
On the Efficient Execution of ProbLog Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
OpenRuleBench: an analysis of the performance of rule engines
Proceedings of the 18th international conference on World wide web
Experiences Using Logic Programming in Bioinformatics
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Parameter learning of logic programs for symbolic-statistical modeling
Journal of Artificial Intelligence Research
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
Demand-driven indexing of prolog clauses
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Design, implementation, and evaluation of a dynamic compilation framework for the YAP system
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A register-free abstract prolog machine with jumbo instructions
ICLP'07 Proceedings of the 23rd international conference on Logic programming
An improved continuation call-based implementation of tabling
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
CLP(BN): constraint logic programming for probabilistic knowledge
Probabilistic inductive logic programming
Threads and or-parallelism unified
Theory and Practice of Logic Programming
Dynamic mixed-strategy evaluation of tabled logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Tabling in mercury: design and implementation
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Handling incomplete and complete tables in tabled logic programs
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
On improving the efficiency and robustness of table storage mechanisms for tabled evaluation
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Prolog performance on larger datasets
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
ProbPoly: a probabilistic inductive logic programming framework with application in model checking
Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering
Tor: extensible search with hookable disjunction
Proceedings of the 14th symposium on Principles and practice of declarative programming
Efficient tabling of structured data with enhanced hash-consing
Theory and Practice of Logic Programming
KnowRob: A knowledge processing infrastructure for cognition-enabled robots
International Journal of Robotics Research
Prolog programming with a map-reduce parallel construct
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
| Hi-index | 0.00 |
Yet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and that has been under almost constant development since then. This paper presents the general structure and design of the YAP system, focusing on three important contributions to the Logic Programming community. First, it describes the main techniques used in YAP to achieve an efficient Prolog engine. Second, most Logic Programming systems have a rather limited indexing algorithm. YAP contributes to this area by providing a dynamic indexing mechanism, or just-in-time indexer. Third, a important contribution of the YAP system has been the integration of both or-parallelism and tabling in a single Logic Programming system.