600.325/425 Declarative Methods - J. Eisner 1 Prolog: Programming in Logic with some mention of Datalog and Constraint Logic Programming.
