From db154b6495d173f81030d3c56532c7ccda9fb192 Mon Sep 17 00:00:00 2001 From: logicmoo Date: Wed, 25 Sep 2024 05:40:55 -0700 Subject: [PATCH] Changed determinism annotations for lookup_spft_match and lookup_spft_match_deeper. --- src/canary/metta_pfc_support.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/canary/metta_pfc_support.pl b/src/canary/metta_pfc_support.pl index 7f21819796d..2f0153ca3f9 100755 --- a/src/canary/metta_pfc_support.pl +++ b/src/canary/metta_pfc_support.pl @@ -423,7 +423,7 @@ % Optionally log or provide visual feedback by calling 'color_line/2'. nop(color_line(cyan, 1)). -%! lookup_spft_match(+A, +B, -C) is semidet. +%! lookup_spft_match(+A, +B, -C) is nondet. % % Matches a specific pattern by ensuring that 'A' is unchanged after a lookup operation. % @@ -449,7 +449,7 @@ % Ensure that 'A' is still structurally identical to 'AA'. A =@= AA. -%! lookup_spft_match_deeper(+H, +Fact, -Trigger) is semidet. +%! lookup_spft_match_deeper(+H, +Fact, -Trigger) is nondet. % % Performs a deeper lookup operation by ensuring the head term 'H' is unchanged after the lookup. % @@ -1627,7 +1627,7 @@ % mpred_current_op_support((p,p)):- !. -%%! pfcVersion( +VALUE1) is semidet. +%! pfcVersion( +VALUE1) is semidet. % % Prolog Forward Chaining Version. %