Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings

Prolog: The Next 50 Years

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings