towards #206

trueagi-io · Dec 17, 2024 · a6b43d6 · a6b43d6
1 parent d232fac
commit a6b43d6
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/prolog/metta_lang/metta_python.pl b/prolog/metta_lang/metta_python.pl
@@ -150,7 +150,7 @@
     is_rust_space(GSpace),!.
 is_not_prolog_space(GSpace):-
     % Check if the space is neither an asserted space nor an nb space.
-    \+ is_asserted_space(GSpace),\+ is_nb_space(GSpace),!.
+    \+ is_asserted_space(GSpace), \+ is_nb_space(GSpace),!.
 
 %!  with_safe_argv(:Goal) is det.
 %

diff --git a/prolog/metta_lang/metta_space.pl b/prolog/metta_lang/metta_space.pl
@@ -715,12 +715,13 @@
 %     ?- is_asserted_space('&self').
 %     true.
 %
-is_asserted_space(X) :-
-    was_asserted_space(X).
+is_asserted_space(X) :- was_asserted_space(X).
+/*
 is_asserted_space(X) :-
     \+ is_as_nb_space(X),
     \+ py_named_space(X),
     !.
+*/
 
 %!  is_python_space_not_prolog(+Space) is nondet.
 %

diff --git a/prolog/metta_lang/metta_types.pl b/prolog/metta_lang/metta_types.pl
@@ -471,6 +471,7 @@
     % Use no_repeats to ensure uniqueness in space type methods.
     no_repeats(Test, space_type_method(Test, _, _)),
     % Call the test to determine the space type.
+    is_not_prolog_space \== Test,
     call(Test, Space), !.
 
 %!  is_state_type(+State, -Type) is nondet.