Practical aspects of declarative languages: 14th international symposium, PADL 2012 Philadelphia, PA, USA, January 23-24, 2012 : proceedings

A beginner's guide to programming logic and design: comprehensive version

Natural language understanding and logic programming II

Declarative agent languages and technologies IX : 9th international workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers

Parallel logic programming in PARLOG: the language and its implementation