greedy chess post-fail

Author: TeamSPoon

prolog/metta_lang/metta_compiler.pl

@@ -1032,7 +1032,7 @@
 
 compiled_refs(Symbol,F,A,Info):-
  functor_chkd(P,F,A),clause(P,B,Ref), (\+ compiler_data_no_call(F/A) -> call(B) ; true), symbol_in(2,Symbol,P),
-   (B==true->Info=Ref;Info=P).
+   (B==true->Info=Ref;Info= (P:-B) ).
 
 
 symbol_in(_, Symbol, P):-Symbol=@=P,!.
@@ -1160,17 +1160,27 @@
 %'=~'(A,B):- var(A),iz_conz(B),!,A=B.
 %'=~'(A,B):- iz_conz(A),var(B),!,A=B.
 %'=~'(A,B):- iz_conz(A),iz_conz(B),!,A=B.
-'=~'(A,B):- into_list_args(A,AA),copy_term(AA,AAA,_G),copy_term_nat(AAA,AAAC),!,into_list_args(B,BB),
-  !,AAAC=BB,!,AAAC=@=AAA,AA=AAAC,!.
+
+'=~'(A,B):- quietly('=~_impl'(A,B)).
+
+'=~_impl'(A,B):- iz_conz(B),B=[F|Args],nonvar(F),!,'=~'(A,[FF|Args]),F=FF.
+'=~_impl'(A,B):- \+ iz_conz(B),compound(B),compound_name_arguments(B,F,Args),!,'=~'(A,[F|Args]).
+'=~_impl'(A,B):- into_list_args(A,AA),copy_term(AA,AAA,G),copy_term_nat(AAA,AAAC),!,into_list_args(B,BB),
+  !,AAAC=BB,!,AAAC=@=AAA,AA=AAAC,!,maplist(call,G).
 
 % non-singleton Variable
 is_nsVar(NS):- is_ftVar(NS), NS\=@= '$VAR'('_').
 
 skip_me( AA,AAA):- \+ compound(AA),!,AA=AAA.
 skip_me([A,_,C|AA],AAA):- A == u_assign,AAA=[C|AA],!.
-skip_me([A,B,C|AA],AAA):- symbol(A),metta_meta_f(A),!,skip_me([B,C|AA],AAA).
+skip_me([A,B,C|AA],AAA):- symbol(A),skip_me_f(A),!,skip_me([B,C|AA],AAA).
 skip_me(AA,AA).
 
+skip_me_f('@').
+skip_me_f('call-fn').
+skip_me_f(A):- metta_meta_f(A),!.
+skip_me_f(A):- atom(A),atom_concat(L,'!',A),!,skip_me_f(L).
+
 into_list_args(A,AA):- into_list_args0(A,AAA),!,skip_me(AAA,AAAA),AAAA=AA.
 into_list_args0(A,A):- is_ftVar(A).
 into_list_args0(A,A):- is_nsVar(A).
@@ -1185,6 +1195,40 @@
 
 
 
+%constraintFor(Op,Len,[Ar|ATypes],Rel,ArgType,Nth):- Ar=='->',!,skelectalFor(Op,Len,[Op|ATypes],argNIsa,Rel,ArgType,Nth).
+%argumentsFor(Op,Len,Args,Rel,ArgType,Nth):- skelectalFor(Op,Len,Relation,Args,Ret,Pred,Rel,Arg,Nth)
+
+constraintFor(Op,_Len,Args,Ret,Pred,Rel,Arg,Nth):- %relation_args(MaybeOp,Len,Relation,Args,Ret),ignore(MaybeOp=Op),
+   nth0(Nth,[Ret|Args],Arg),s_or_p_term(Rel,[Pred,Op,Nth,Arg]).
+
+relation_args(Op,Len,Relation,Args,Ret):- (nonvar(Args);nonvar(Len)),!,
+   length(Args,Len),
+   append([Op|Args],[Ret],OpArgsWRet),
+   s_or_p_term(Relation,OpArgsWRet).
+
+relation_args(Op,Len,Relation,Args,Ret):- (nonvar(Op),nonvar(Relation)),!,
+   Relation =.. List, append(_,[Op|ArgsWRet],List),
+   append(Args,[Ret],ArgsWRet),length(Args,Len).
+
+
+s_or_p_term(Relation,OpArgsWRet):- nonvar(Relation),nonvar(OpArgsWRet),!,Relation =.. List, append(_,OpArgsWRet,List).
+s_or_p_term(Relation,[Op|ArgsWRet]):- var(Relation), is_list(ArgsWRet),!, (var(Op)-> Relation =.. [v,Op|ArgsWRet] ; Relation =..[Op|ArgsWRet]).
+s_or_p_term(Relation,OpArgsWRet):- nonvar(Relation),var(OpArgsWRet), Relation =.. List, append(Left,[Op|ArgsWRet],List), is_ok_op(Left,[Op|ArgsWRet]),!.
+
+is_ok_op([],[Op|_ArgsWRet]):- nonvar(Op), !, \+ metta_meta_f(Op).
+is_ok_op([NotOp],[Op|_ArgsWRet]):- metta_meta_f(NotOp), \+ metta_meta_f(Op).
+
+is_metta_meta_f(Op):- nonvar(Op), metta_meta_f(Op).
+
+
+metta_meta_f(v).
+metta_meta_f(M):- atom(M), atom_chars(M,Chars),metta_meta_chars(Chars).
+%metta_meta_chars([_]).
+metta_meta_chars([m,_]).
+
+
+
+
 compound_name_list(AsPred,FP,PredArgs):- var(AsPred),!,AsPred=[FP|PredArgs].
 compound_name_list(AsPred,FP,PredArgs):- iz_conz(AsPred),!,AsPred=[FP|PredArgs].
 compound_name_list(AsPred,FP,PredArgs):- into_list_args(AsPred,[FP|PredArgs]),!.
@@ -2168,6 +2212,7 @@
 f2p_assign(Op, _HeadIs, Nth, RetType,ValueR,Value,info(is_non_eval_kind(Op,Nth,RetType))):- is_non_eval_kind(RetType),
   is_list(Value), \+ is_evaled(Value), ValueR=Value,!.
 
+
 %f2p_assign(_Op, _HeadIs, _Nth, RetType,ValueR,Value,info(is_non_eval_kind(Value,RetType))):- is_non_eval_kind(RetType), ValueR=Value,!.
 f2p_assign(_Op, _HeadIs, _Nth,_RetType,ValueR,Value,true/*info(is_nsVar(Value))*/):- is_nsVar(Value),Value=ValueR,!.
 f2p_assign(_Op, _HeadIs, _Nth, RetType,ValueR,Value,eval_for(RetType, Value,ValueR)):- is_nsVar(Value),!.

prolog/metta_lang/metta_compiler_lib.pl

@@ -1,3 +1,11 @@
+
+
+:- if(false).
+
+:- include(metta_compiler_lib_roy).
+
+:- else.
+
 :- ensure_loaded(metta_compiler).
 :- dynamic(transpiler_predicate_store/7).
 :- discontiguous(transpiler_predicate_store/7).
@@ -23,7 +31,7 @@
 :- forall(between(3,12,N), decl_ddm(mc_n,N)).
 :- forall(between(3,12,N), decl_ddm(ms_n,N)).
 
-non_eval_arg(F,N):- argIsa(F,N,NonEval),non_evaled_Type(NonEval),!.
+non_eval_arg(F,N):- argIsa(F,N,NonEval),non_evaluated_type(NonEval),!.
 
 e_i(F, N, A, AA):- i_c(F, N, A, AA).
 
@@ -33,7 +41,15 @@
 i_c(F, N, A, AA):- non_eval_arg(F,N),!,A=AA.
 i_c(_, _, A, AA):- eval(A,AA).
 
+ee(_Let_type,_,E,R):- nonvar(R), E=R,!.
+ee(_Let_type,_,E,R):- is_list(E), !, eval_args(E,ER),ER=R.
+ee(_Let_type,_,E,R):- E=R,!.
 
+mc('while!',Bool,Goal,Out):-
+ repeat,
+    ((eval(Bool,TF)->is_True(TF))
+         ->(once(mc(Goal,Out)),fail)
+          ;(!,true)).
 
 mci(F, R) :- call_by_ftype(F, 0, mc(F, R), R).
 mci(F, X0, R) :- call_by_ftype(F, 1, mc(F, X0, R), R).
@@ -117,6 +133,8 @@
 
 :- op(700,xfx,('haz_value')).
 
+retrace :- ignore(nortrace),notrace,trace.
+
 % Main Logic
 call_by_ftype(F, Len, Goal, ReturnVal) :-
     un_mc(_,Goal,Len,[F | Parameters], ReturnVal), !,
@@ -130,11 +148,16 @@
 
     % Validate enums dynamically using explicit_isa to ensure valid inputs
     %validate_function_type_enums(MismatchBehavior, NoMatchBehavior, EvaluationOrder, SuccessBehavior, FailureBehavior, OutOfClausesBehavior),
+    debug_info(predicate_behavior(Self, F, Len, MismatchBehavior)),
 
     % Retrieve all clauses for the predicate
     findall(thbr(ParamTypes, Params, Body, ReturnVal, RetType),
               function_declaration_lib(Self, F, Len, Params, ParamTypes, RetType, Body, _WrappedBody, ReturnVal), Clauses),
 
+    debug_info(predicate_clauses(Clauses)),
+
+    retrace,
+
     % Extract parameter types and group them by index across all clauses
     findall(Types, (member(thbr(Types, _, _, _, RetType), Clauses)), ParamTypesPerClause),
     group_types_by_param_index(ParamTypesPerClause, Grouped),
@@ -1167,9 +1190,7 @@
 mx_n(2,'py-dot',Arg1,Arg2,Specialize,ResO) :-
    make_py_dot(Arg1,Arg2,Res),specialize_res(Res,Specialize,ResO).
 
-
-
-:- writeln('; maybe ?- setup_library_calls.').
+% (py-dot math exp  True (-> Number Number Number)   )
 
 setup_library_calls :-
   forall(
@@ -1185,10 +1206,6 @@
 
 setup_inits :- gen_mdecl.
 
-:- writeln('; maybe ?- gen_i2c, gen_mdecl.').
-
-
-:- writeln('; maybe ?-  do_setup_inits.').
 do_setup_inits:-
    locally(nb_setval(debug_context, stdlib), user_err(forall(setup_inits,true))).
 
@@ -1305,4 +1322,4 @@
 
 
 
-
+:- endif.

prolog/metta_lang/metta_ontology.pfc.pl

@@ -88,43 +88,6 @@
   N1 is N-1,
   merge_fp(T1,T2,N1).
 
-
-
-
-%constraintFor(Op,Len,[Ar|ATypes],Rel,ArgType,Nth):- Ar=='->',!,skelectalFor(Op,Len,[Op|ATypes],argNIsa,Rel,ArgType,Nth).
-%argumentsFor(Op,Len,Args,Rel,ArgType,Nth):- skelectalFor(Op,Len,Relation,Args,Ret,Pred,Rel,Arg,Nth)
-
-constraintFor(Op,_Len,Args,Ret,Pred,Rel,Arg,Nth):- %relation_args(MaybeOp,Len,Relation,Args,Ret),ignore(MaybeOp=Op),
-   nth0(Nth,[Ret|Args],Arg),s_or_p_term(Rel,[Pred,Op,Nth,Arg]).
-
-relation_args(Op,Len,Relation,Args,Ret):- (nonvar(Args);nonvar(Len)),!,
-   length(Args,Len),
-   append([Op|Args],[Ret],OpArgsWRet),
-   s_or_p_term(Relation,OpArgsWRet).
-
-relation_args(Op,Len,Relation,Args,Ret):- (nonvar(Op),nonvar(Relation)),!,
-   Relation =.. List, append(_,[Op|ArgsWRet],List),
-   append(Args,[Ret],ArgsWRet),length(Args,Len).
-
-
-s_or_p_term(Relation,OpArgsWRet):- nonvar(Relation),nonvar(OpArgsWRet),!,Relation =.. List, append(_,OpArgsWRet,List).
-s_or_p_term(Relation,[Op|ArgsWRet]):- var(Relation), is_list(ArgsWRet),!, (var(Op)-> Relation =.. [v,Op|ArgsWRet] ; Relation =..[Op|ArgsWRet]).
-s_or_p_term(Relation,OpArgsWRet):- nonvar(Relation),var(OpArgsWRet), Relation =.. List, append(Left,[Op|ArgsWRet],List), is_ok_op(Left,[Op|ArgsWRet]),!.
-
-is_ok_op([],[Op|_ArgsWRet]):- nonvar(Op), !, \+ metta_meta_f(Op).
-is_ok_op([NotOp],[Op|_ArgsWRet]):- metta_meta_f(NotOp), \+ metta_meta_f(Op).
-
-is_metta_meta_f(Op):- nonvar(Op), metta_meta_f(Op).
-
-
-metta_meta_f(v).
-metta_meta_f(M):- atom(M), atom_chars(M,Chars),metta_meta_chars(Chars).
-metta_meta_chars([_]).
-metta_meta_chars([m,_]).
-
-
-
-
 :- set_prolog_flag(pfc_term_expansion,true).
 
 %metta_atom_asserted(KB2,Y) ==> {metta_atom_asserted_hook(KB2,Y)}.
@@ -175,6 +138,12 @@
 metta_type_info(KB,Op,ArTypeDecl)/(arrow_type(ArTypeDecl,ParamTypes,RetType),length(ParamTypes,Len))==>
     metta_params_and_return_type(KB,Op,Len,ParamTypes,RetType).
 
+metta_type_info(KB,Op,ArTypeDecl)/(arrow_type(ArTypeDecl,ParamTypes,_),length(ParamTypes,Len),nth1(Nth,ParamTypes,Nonvar))==>
+    argNType(KB,Op,Len,Nth,Nonvar).
+
+
+
+
 metta_params_and_return_type(KB,Op,Len,ParamTypes,RetType)/(arrow_type(ArTypeDecl,ParamTypes,RetType),length(ParamTypes,Len)) ==>
     metta_type_info(KB,Op,ArTypeDecl).
 
@@ -203,15 +172,18 @@
 
 */
 
-metta_params_and_return_type(KB,Op,Len,ParamTypes,RetType)/(constraintFor(Op,Len,ParamTypes,RetType,argNType,_Fact,Nonvar,Nth), Nth>0) ==> argNType(KB,Op,Len,Nth,Nonvar).
+metta_params_and_return_type(KB,Op,Len,ParamTypes,_RetType)/nth1(Nth,ParamTypes,Nonvar) ==> argNType(KB,Op,Len,Nth,Nonvar).
+
 metta_params_and_return_type(KB,Op,Len,_ParamTypes,RetType) ==> returnType(KB,Op,Len,RetType).
 
 
 non_evaluated_type('Atom').
 non_evaluated_type('Expression').
-non_evaluated_type('Varaible').
+non_evaluated_type('Variable').
 non_evaluated_type('Symbol').
 
+:- dynamic(argIsEvaled/5).
+
 (argNType(KB, Op, Len, Nth, Type)/nonvar(Type), non_evaluated_type(Type)) ==> argIsEvaled(KB,Op,Len,Nth,false).
 (argNType(KB, Op, Len, Nth, Type)/nonvar(Type), \+ non_evaluated_type(Type)) ==> argIsEvaled(KB,Op,Len,Nth,true).
 
@@ -256,7 +228,7 @@
 
 ('op-complete'(op(+,':',Op))
  ==>
- (( metta_type(KB,Op,TypeList)/is_list(TypeList),
+ (( metta_type_info(KB,Op,TypeList)/is_list(TypeList),
   {params_and_return_type(TypeList,Len,Params,Ret)}) ==>
   metta_params_and_return_type(KB,Op,Len,Params,Ret),{do_once(show_deds_w(Op))})).
 
@@ -453,7 +425,7 @@
 properties('&corelib','let*', [variable_assignment, qhelp("Sequential variable assignment."), sequential]).
 properties('&corelib','sealed', [variable_scoping, qhelp("Variable scoping.")]).
 properties('&corelib','function', [function_definition, qhelp("Function block.")]).
-properties('&corelib','return', [function_definition, qhelp("Ret value of a function block."), return_value]).
+properties('&corelib','return', [function_definition, qhelp("Return value of a function block."), return_value]).
 properties('&corelib','Error', [error_handling, qhelp("Defines or triggers an error.")]).
 
 % --- Error Handling and Advanced Control Flow ---
@@ -580,7 +552,7 @@
 properties('&corelib','stringToChars', [string_operations, qhelp("Convert a string to a list of chars."), string_to_chars]).
 properties('&corelib','charsToString', [string_operations, qhelp("Convert a list of chars to a string."), chars_to_string]).
 properties('&corelib','format-args', [string_operations, qhelp("Generate a formatted string using a format specifier."), format_args]).
-properties('&corelib','flip', [random, qhelp("Ret a random boolean."), random_boolean]).
+properties('&corelib','flip', [random, qhelp("Return a random boolean."), random_boolean]).