more comments

logicmoo · Jan 7, 2025 · 8472c94 · 8472c94
1 parent 3f72c11
commit 8472c94
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/prolog/metta_lang/metta_interp.pl b/prolog/metta_lang/metta_interp.pl
@@ -1421,7 +1421,7 @@
 fbugio(IO):- 
     fbugio(true, IO).
 
-%!  different_from(+N, +V) is semidet.
+%!  different_from(+N, +V) is nondet.
 %
 %   Succeeds if the value associated with `N` is different from `V`.
 %
@@ -1560,7 +1560,7 @@
 % 'silent' indicates no debugging output.
 is_debug_like(silent, false).
 
-%!  'is-symbol'(+X) is semidet.
+%!  'is-symbol'(+X) is nondet.
 %
 %   Checks if `X` is a valid symbol.
 %