CMU Artificial Intelligence Repository
Logic Programming
Logic Programming
Maintained by Jonathan.Bowen@comlab.ox.ac.uk
AI.Repository@cs.cmu.edu