rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix subsumes_term/2 predicate to use unify_with_occurs_check/2 instead of (=)/2

Browse Source
This commit is contained in:
Paulo Moura
2021-05-12 20:02:09 +01:00
parent 39aebd7144
commit 4fd33b015e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/builtins.pl
View File

@@ -1395,7 +1395,7 @@ number_codes(N, Chs) :-
subsumes_term(General, Specific) :- subsumes_term(General, Specific) :-
\+ \+ ( \+ \+ (
term_variables(Specific, SVs1), term_variables(Specific, SVs1),
General = Specific, unify_with_occurs_check(General, Specific),
term_variables(SVs1, SVs2), term_variables(SVs1, SVs2),
SVs1 == SVs2 SVs1 == SVs2
). ).