cs7120 (Prasad) L23-CLP * Constraint Logic Programming [email protected] http://www.knoesis.org/tkprasad/ L23-CLP Ordinary Logic Programming ?- p(a,X) = p(Y,b). Y=a X=b…
