Merge pull request #710 from axone-protocol/fix/registered-predicates

axone-protocol · Jul 26, 2024 · 963f560 · 963f560
2 parents 6f266e9 + 293da10
commit 963f560
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/x/logic/interpreter/registry.go b/x/logic/interpreter/registry.go
@@ -90,9 +90,7 @@ var registry = orderedmap.New[string, any](
 		{Key: "char_code/2", Value: engine.CharCode},
 		{Key: "number_chars/2", Value: engine.NumberChars},
 		{Key: "number_codes/2", Value: engine.NumberCodes},
-		{Key: "set_prolog_flag/2", Value: engine.SetPrologFlag},
 		{Key: "current_prolog_flag/2", Value: engine.CurrentPrologFlag},
-		{Key: "halt/1", Value: engine.Halt},
 		{Key: "consult/1", Value: predicate.Consult},
 		{Key: "phrase/3", Value: engine.Phrase},
 		{Key: "expand_term/2", Value: engine.ExpandTerm},