Learning to Support Constraint Programmers Susan L. Epstein 1 Gene Freuder 2 and Rick Wallace 2 1 Department of Computer Science Hunter College and The.
600.325/425 Declarative Methods - J. Eisner 1 Prolog: Programming in Logic with some mention of Datalog and Constraint Logic Programming.
Prolog: Programming in Logic