?
Prolog: The Next 50 Years; Lecture Notes in Computer Science ,
1
Prolog: Past, Present, and Future:
, In:
?
Prolog: The Next 50 Years; Lecture Notes in Computer Science ,
2
Types, Modes and so Much More – The Prolog Way:
, In:
?
Practical Aspects of Declarative Languages; Lecture Notes in Computer Science ,
3
Towards Dynamic Consistency Checking in Goal-Directed Predi..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
6
Modeling and Reasoning in Event Calculus Using Goal-Directe..:
, In:
?
Practical Aspects of Declarative Languages; Lecture Notes in Computer Science ,
9
Incremental Evaluation of Lattice-Based Aggregates in Logic..:
, In:
?
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming ,
11