From 1f524507df6529cbddb85847f80cc6e44882156c Mon Sep 17 00:00:00 2001 From: logicmoo Date: Wed, 11 Dec 2024 14:03:54 -0800 Subject: [PATCH] Removed Warning: '/home/deb12user/metta-wam/prolog/metta_lang/metta_eval.pl':1173:64: Illegal UTF-8 start --- prolog/metta_lang/metta_eval.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prolog/metta_lang/metta_eval.pl b/prolog/metta_lang/metta_eval.pl index 34555166a47..decdd9a81c2 100755 --- a/prolog/metta_lang/metta_eval.pl +++ b/prolog/metta_lang/metta_eval.pl @@ -1168,13 +1168,13 @@ % GUESS `¯\\_ :( _/¯` what version of unify they are trying to use? ¯(°_o)/¯ -% 1) If Arg1 is a space, then we redirect to a 'match' operation. +% 1) If Arg1 is a space, then we redirect to a `match` operation. eval_20(Eq,RetType,Depth,Self,['unify',Arg1,Arg2|Args],Res):- is_space(Arg1), !, eval_args(Eq,RetType,Depth,Self,['match',Arg1,Arg2|Args],Res). -% 2) If Arg1 and Arg2 are nonvars and Arg1 is declared a 'Container', then use 'container-unify' +% 2) If Arg1 and Arg2 are nonvars and Arg1 is declared a `Container`, then use `container-unify` eval_20(Eq,RetType,Depth,Self,['unify',Arg1,Arg2|Args],Res):- nonvar(Arg1), nonvar(Arg2), get_type(Depth,Self,Arg1,'Container'), eval_args(Eq,RetType,Depth,Self,['container-unify',Arg1,Arg2|Args],Res). -% 3) Otherwise, default to using 'if-unify' for the unify operation. +% 3) Otherwise, default to using `if-unify` for the unify operation. eval_20(Eq,RetType,Depth,Self,['unify',Arg1,Arg2|Args],Res):- !, eval_args(Eq,RetType,Depth,Self,['if-unify',Arg1,Arg2|Args],Res).