Joachim Beer
-
The Life of a Logic Programming System
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
The yap prolog system
Theory and Practice of Logic Programming - Prolog Systems