use builtins:variant/2

triska · Dec 18, 2023 · e676571 · e676571
1 parent 061cce9
commit e676571
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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),