had shortcut for var-to-var unification.
This commit is contained in:
parent
e62ae6be36
commit
1be78e23ec
@ -244,3 +244,5 @@ convert_to_goals([A|G],(A,Gs)) :-
|
|||||||
convert_to_goals(G,Gs).
|
convert_to_goals(G,Gs).
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
Reference in New Issue
Block a user