Mark Thom
|
5976e2d873
|
do not check for non-unifiability in dif:attribute_goals, which is sure to succeed, resulting in no goals being printed at top-level (#844)
|
2021-03-02 10:34:25 -07:00 |
|
Mark Thom
|
a4d15bfb88
|
move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation
|
2021-01-30 21:07:51 -07:00 |
|
Markus Triska
|
cc77ef680d
|
dif/2: Omit entailed residual goals, if the arguments are not unifiable.
This addresses #135.
|
2020-08-22 17:50:15 +02:00 |
|
Markus Triska
|
e75ebd9b6e
|
dif/2: Succeed unconditionally if the arguments are not unifiable.
This addresses one part of #135.
|
2020-08-22 17:50:15 +02:00 |
|
Mark Thom
|
33325f1574
|
remove vestigial prolog/ directory (#444)
|
2020-06-12 18:26:38 -06:00 |
|