From e676571f5def96fe99c9ff3c42844511fcd22587 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Mon, 18 Dec 2023 23:19:20 +0100 Subject: [PATCH] use builtins:variant/2 --- src/lib/diadem.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib/diadem.pl b/src/lib/diadem.pl index c154f2c16..b16afcb6b 100644 --- a/src/lib/diadem.pl +++ b/src/lib/diadem.pl @@ -171,7 +171,7 @@ limes(\X^callf(\+X), query_generalized, Query0,Query1), ( Query1 = Query ; limes(\X^callf(\+X), goal_difgeneralisation, Query1, Query2), - ( \+ variant(Query1, Query2), + ( \+ builtins:variant(Query1, Query2), Query2 = Query ; false, limes(\X^callf(\+X), goal_equalitygeneralisation, Query2, Query) @@ -237,7 +237,7 @@ query_generalized(Query, QueryG) :- goal_generalized(Query, QueryG), - \+ variant(Query, QueryG). + \+ builtins:variant(Query, QueryG). goal_generalized(Goal, _) :- var(Goal),