Free Prolog Source Code
CMU Artificial Intelligence Repository
Prolog code for benchmarking, research, education, and fun.
Online Code for a Prolog Book
This file contains code from Poole, Mackworth and Goebel, Computational Intelligence: A Logical Approach. All code is copyright Poole, Mackworth and Goebel, and Oxford University Press, 1997.