Merge pull request #956 from pmoura/fix_subsumes_term_predicate

Fix subsumes_term/2 predicate to use unify_with_occurs_check/2 instead of (=)/2
2021-05-13 23:18:58 -06:00
parent f02648022a 4fd33b015e
commit 56bbcb1cb3
1 changed files with 1 additions and 1 deletions
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1390,7 +1390,7 @@ number_codes(N, Chs) :-
 subsumes_term(General, Specific) :-
   \+ \+ (
      term_variables(Specific, SVs1),
-      General = Specific,
+      unify_with_occurs_check(General, Specific),
      term_variables(SVs1, SVs2),
      SVs1 == SVs2
   ).