2 Commits

Author	SHA1	Message	Date
Markus Triska	ad8e2ad4f6	omit internal attributes in residual goals when using taut/2 ... Examples: ?- taut(X=:=X,1). clpb:sat(X=:=X) ; false. ?- taut(X=\=X,0). clpb:sat(X=:=X) ; false.	2020-08-11 20:49:10 +02:00
Mark Thom	33325f1574	remove vestigial prolog/ directory (#444)	2020-06-12 18:26:38 -06:00