Logic programming with Prolog - Bramer, M. A. (Max A.), 1948- ([London ; New York] : Springer, 2005)
Includes index.
Keywords: Logic programming; Prolog (Computer program language)