Skip to content

Commit

Permalink
is_metta_space
Browse files Browse the repository at this point in the history
  • Loading branch information
TeamSPoon committed Dec 13, 2024
1 parent d92ae1f commit 6321fee
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion prolog/metta_lang/metta_eval.pl
Original file line number Diff line number Diff line change
Expand Up @@ -1176,7 +1176,7 @@
% GUESS `¯\\_ :( _/¯` what version of unify they are trying to use? ¯(°_o)/¯

% 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_20(Eq,RetType,Depth,Self,['unify',Arg1,Arg2|Args],Res):- is_metta_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`
eval_20(Eq,RetType,Depth,Self,['unify',Arg1,Arg2|Args],Res):- nonvar(Arg1), nonvar(Arg2), get_type(Depth,Self,Arg1,'Container'),
Expand Down

0 comments on commit 6321fee

Please sign in to comment.