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
Query evaluation under the well-founded semantics
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unification factoring for efficient execution of logic programs
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Understanding Memory Management in Prolog Systems
Proceedings of the 17th International Conference on Logic Programming
Optimising Bytecode Emulation for Prolog
PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
So Many WAM Variations, So Little Time
CL '00 Proceedings of the First International Conference on Computational Logic
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
Concurrency, Graphs and Models
Parameter learning of logic programs for symbolic-statistical modeling
Journal of Artificial Intelligence Research
ProbLog: a probabilistic prolog and its application in link discovery
IJCAI'07 Proceedings of the 20th international joint conference on Artifical 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
Uncovering age-specific invasive and DCIS breast cancer rules using inductive logic programming
Proceedings of the 1st ACM International Health Informatics Symposium
Fire! firing inductive rules from economic geography for fire risk detection
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
Theory and Practice of Logic Programming - Prolog Systems
Predictive sequence miner in ILP learning
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Relational differential prediction
ECML PKDD'12 Proceedings of the 2012 European conference on Machine Learning and Knowledge Discovery in Databases - Volume Part I
| Hi-index | 0.00 |
Logic Programming and the Prolog language have a major role in Computing. Prolog, and its derived languages, have been widely used in a impressive variety of application domains. Thus, a bit of the history of Logic Programming reflects in the history of systems such as Dec-10 Prolog [32], M-Prolog [15], C-Prolog [19], Quintus Prolog [20], SICStus Prolog [6], BIM-Prolog [17], ECLiPSe [1], BinProlog [30], SWI-Prolog [34], CIAO [14], and B-Prolog [35], to mention but a few. I briefly present the evolution of one such system, YAP, and present a personal perspective on the challenges ahead for YAP (and for Logic Programming).