remove dynamic clause declaration for clause internal

This commit is contained in:
Mark Thom
2021-02-05 23:16:42 -07:00
parent bdb5df104a
commit 49b1c1368e
-2
View File
@@ -813,8 +813,6 @@ setof(Template, Goal, Solution) :-
).
:- dynamic('$clause'/2).
clause(H, B) :-
( var(H) ->
throw(error(instantiation_error, clause/2))