diff --git a/.Attic/base/flybase_convert.pl b/.Attic/base/flybase_convert.pl index 4ce701549e3..a47c8b333e3 100755 --- a/.Attic/base/flybase_convert.pl +++ b/.Attic/base/flybase_convert.pl @@ -8,3 +8,4 @@ %:- ensure_loaded(swi_support). + diff --git a/.Attic/base/flybase_induced_types.pl b/.Attic/base/flybase_induced_types.pl index 09a771ee19d..83af0993af1 100755 --- a/.Attic/base/flybase_induced_types.pl +++ b/.Attic/base/flybase_induced_types.pl @@ -1645,3 +1645,4 @@ table_n_type(synonym, 4, current_fullname, _). table_n_type(synonym, 5, fullname_synonym, _). table_n_type(synonym, 6, symbol_synonym, _). + diff --git a/.Attic/base/flybase_json.pl b/.Attic/base/flybase_json.pl index bc335bb313b..a18e876ccf0 100755 --- a/.Attic/base/flybase_json.pl +++ b/.Attic/base/flybase_json.pl @@ -638,3 +638,4 @@ + diff --git a/.Attic/base/flybase_learn.pl b/.Attic/base/flybase_learn.pl index 71171bbbe17..5a500ce3012 100755 --- a/.Attic/base/flybase_learn.pl +++ b/.Attic/base/flybase_learn.pl @@ -2280,3 +2280,4 @@ fb_tsv_pred_stats('less-frequent', transposon_sequence_set, [9, [#, [#, 'ID=FBte0001033;name=Dmel\\mariner2;source=?;type=DNA;subtype=Tc1-Mariner', 1], [#, 'ID=FBte0000773;name=Dana\\Tom;source=Z24451;type=?;subtype=?', 1], [#, 'ID=FBte0000591;name=Dmel\\invader6;source=NT_033778;type=LTR;subtype=Gypsy', 1], [#, 'Ontology_term=SO:0000316;db_xref=FLYBASE:FBgnXXXXXXX;name=Dmel\\gypsy12\\pol;translation=KKCKASLDYISSIPTGPRDPRPFLPMRLLNCLVYGLLDSGASISCIGGGVVQAAMENEKFKSLIGEAATADGNSQRIVGLLKIEVEYGDIKKLLKLYVVPSLKQDLYLGIDFWKLYDLLPANLKIAEILSPEPNQQTVVDQHELCEGDKAKLANVINCFPSFSQEGLGKTNLVSHSIDVGTARPVKQRHFPVSPAVEKAMYAEIDRMLRLGVIGESESAWSSPIVMVTKPGKVRICLECRKVNSFTEMDAYPLPQINGILSRLPRAEYISSLDLKDAYWQVPLDPKSRDKTAFTVPGRPLYQFKVMPFGLCNATSTMSRLMDKVVPAHLRNEVFIYLDDLLIVSSCFESHLNVLRELALQIKRAGLTLNVAKSHFCMRRVRYLGHIIGDGGIRTDPEKVSAITDFPLPKSLKSLRSFMGLCGWYRKFVANFATLSAPLTDLMTTKRKFLLTKEAIEAFSKLKECLSKAPVLCSPDFAKPFAIHCDASKSGVGAVLVQVSEEGDERPIAFVSKKLNKAQRNYTVTEQECLAAIVALKNFRAYVEGLPFKIITDHASLKWLMSNHDLNSRLARWALALQRFKFEIEHRKGSLNVVPDTLSRVNEEIVAAMDLQEDLIVDFDSEFFQSGDYVKLVETVKENTSNFSDLKVESGFLYRKAEHLTGERMHDEYAWKLWVPKELVSKILARAHDSPLAAHGGIHKTLERIRRYYFWPGLVSDVRAYISACEVCKSTKSQNFTLRPPLGKAPESQRFFQRLFIDFLGPYPRSRSGNIGIFIVLDHFSKYVFLKPVKKIDSSVVIKYLEDELFMTFGVPEVILSDNGSQFRARTFQRLIRYGVKHTLTAVHSPQANASERVNRSVIAAIRAYLRLDQKDWDEFLSRICCALRSAVHSSIGTSPYYMVFGQHMITSGSTYSLIRRLNLLDDRSLKFDRHESFEIMRKQAVDQMRNKHNENEKRCNIRSRVVSFVEGQEVYREISSQAVSKPVTTPSLDRRS', 1], [#, 'Ontology_term=SO:0000316;db_xref=FLYBASE:FBgnXXXXXXX;name=Dmel\\gypsy12\\gag;translation=MGLDRSPTRKSPSVSNPVCKLCAAEISTQDLYVTTCHHEFYRECIGNHFKKSEICSRCKLTCRPPAEATERVGRETRSKTKNRRNSRRGSFDISQRCGEKLAVKLKIAATVDGGPSTSASGANANEASSSAVSANAALLAMERRLLATLSEKMADLVQNAITSSMQRIMPTPSPAVVVTASEMSADHPNAYERQYLASPNPVPSPRSASSDLFDRPDKVVHILNGWKIKYSGVGVSVDNFIYRVEAVTRQTLNGNFNLLCRNISVLFEGKANDFFWRYHKFDRVATMGTERFCTALRLQFRQSRDDGDIEELIRNTKQKPNETFDSFYDTVSELVDQLEQPWTANKLVRVLRNNLRPEIRHEILNLDVRTVSELREICKRREAFLADVRRCSSYAKDTPFKREISEVCHESEDEVRSTYEAENDIESFSLVCWNCRIEGHRYQECIAERRVFCYGCGAANTYKPSCRKCSKNFKVGMSKLPVKPKTSNAARNQSTMTDQ', 1], [#, 'ID=FBte0001136;name=Dmel\\gypsy12;source=AE003789;type=LTR;subtype=Gypsy', 1], [#, 'ID=FBte0001041;name=Dmel\\gypsy11;source=?;type=LTR;subtype=Gypsy', 1]]]). :- forall(fb_tsv_pred_stats(P,A1,Rest), (G=..[P,A1|Rest],assert(G))). + diff --git a/.Attic/base/flybase_main.pl b/.Attic/base/flybase_main.pl index e6ee41a0ef3..376e17509ea 100755 --- a/.Attic/base/flybase_main.pl +++ b/.Attic/base/flybase_main.pl @@ -3283,3 +3283,4 @@ %datalog_to_termlog:- datalog_to_termlog('whole_flybase.datalog'). + diff --git a/.Attic/base/flybase_obo.pl b/.Attic/base/flybase_obo.pl index b120df00bf7..2786768808f 100755 --- a/.Attic/base/flybase_obo.pl +++ b/.Attic/base/flybase_obo.pl @@ -292,3 +292,4 @@ simplify_obo_arg(I,O):- atom_number(I,O),!. + diff --git a/.Attic/base/flybase_scheme.pl b/.Attic/base/flybase_scheme.pl index 24c261a3d50..4870b0bffd4 100755 --- a/.Attic/base/flybase_scheme.pl +++ b/.Attic/base/flybase_scheme.pl @@ -2714,3 +2714,4 @@ 'information_schema.columns'(flybase,public,expressionprop,expressionprop_id,1,'nextval(\'expressionprop_expressionprop_id_seq\'::regclass)','NO',integer,'','',32,2,0,'','','','','','','','','','','','',flybase,pg_catalog,int4,'','','','',1,'NO','NO','','','','','','NO','NEVER','','YES'). 'information_schema.columns'(flybase,pg_catalog,pg_statistic_ext,stxnamespace,4,'','NO',oid,'','','','','','','','','','','','','','','','','',flybase,pg_catalog,oid,'','','','',4,'NO','NO','','','','','','NO','NEVER','','YES'). 'information_schema.columns'(flybase,public,library_expression,pub_id,4,'','NO',integer,'','',32,2,0,'','','','','','','','','','','','',flybase,pg_catalog,int4,'','','','',4,'NO','NO','','','','','','NO','NEVER','','YES'). + diff --git a/.Attic/base/metta_comp_templates.pl b/.Attic/base/metta_comp_templates.pl index 8b1c8aaba57..b1ce1229437 100755 --- a/.Attic/base/metta_comp_templates.pl +++ b/.Attic/base/metta_comp_templates.pl @@ -656,3 +656,4 @@ % + diff --git a/.Attic/base/metta_compiler.pl b/.Attic/base/metta_compiler.pl index c60db41be9e..fe03580d8a0 100755 --- a/.Attic/base/metta_compiler.pl +++ b/.Attic/base/metta_compiler.pl @@ -2078,3 +2078,4 @@ subst(Convert, ConvertFunction, Result, Converting), % Substitute AsFunction by Result in Convert f2p(Depth,HeadIs,RetType,RetResult, (AsPred, Converting), Converted). % Proceed with the conversion of the remaining terms + diff --git a/.Attic/base/metta_convert.pl b/.Attic/base/metta_convert.pl index c630dc0e006..a291d406420 100755 --- a/.Attic/base/metta_convert.pl +++ b/.Attic/base/metta_convert.pl @@ -732,3 +732,4 @@ + diff --git a/.Attic/base/metta_data.pl b/.Attic/base/metta_data.pl index 368dad24542..52285a08dfa 100755 --- a/.Attic/base/metta_data.pl +++ b/.Attic/base/metta_data.pl @@ -3610,3 +3610,4 @@ fwithout_running(G):- (t_l:mpred_run_paused->G;locally_tl(mpred_run_pause,G)). + diff --git a/.Attic/base/metta_debug.pl b/.Attic/base/metta_debug.pl index b60e638396e..56e5fd94738 100755 --- a/.Attic/base/metta_debug.pl +++ b/.Attic/base/metta_debug.pl @@ -234,3 +234,4 @@ % (Ret\=@=retval(fail)->true;(fail,trace,(call(P4,D1,Self,X,Y)),fail)). + diff --git a/.Attic/base/metta_eval.pl b/.Attic/base/metta_eval.pl index 49e6f1008f3..e547e52a7dc 100755 --- a/.Attic/base/metta_eval.pl +++ b/.Attic/base/metta_eval.pl @@ -1947,3 +1947,4 @@ bc_impl([:, _prfarg, _prms], _k, [:, _prfarg, _prms]). + diff --git a/.Attic/base/metta_interp.pl b/.Attic/base/metta_interp.pl index a0e65f71988..420104727be 100755 --- a/.Attic/base/metta_interp.pl +++ b/.Attic/base/metta_interp.pl @@ -2267,3 +2267,4 @@ % Example query to find the likelihoods that satisfy the constraints %?- complex_relationship(L1, L2, L3). + diff --git a/.Attic/base/metta_loader.pl b/.Attic/base/metta_loader.pl index 5d99cb34ed2..ffe3179009f 100755 --- a/.Attic/base/metta_loader.pl +++ b/.Attic/base/metta_loader.pl @@ -935,3 +935,4 @@ fail. % Continue looping until between/3 fails progress_bar_example. + diff --git a/.Attic/base/metta_prelude.pl b/.Attic/base/metta_prelude.pl index 8594b787f34..c8b994cebf7 100755 --- a/.Attic/base/metta_prelude.pl +++ b/.Attic/base/metta_prelude.pl @@ -240,3 +240,4 @@ % 1,264,919 inferences, 0.139 CPU in 0.140 seconds (99% CPU, 9074539 Lips) % (= metta_prelude.metta 0) + diff --git a/.Attic/base/metta_prelude_comp.pl b/.Attic/base/metta_prelude_comp.pl index 8594b787f34..c8b994cebf7 100755 --- a/.Attic/base/metta_prelude_comp.pl +++ b/.Attic/base/metta_prelude_comp.pl @@ -240,3 +240,4 @@ % 1,264,919 inferences, 0.139 CPU in 0.140 seconds (99% CPU, 9074539 Lips) % (= metta_prelude.metta 0) + diff --git a/.Attic/base/metta_printer.pl b/.Attic/base/metta_printer.pl index 96e6e8012a5..ce1c812d516 100755 --- a/.Attic/base/metta_printer.pl +++ b/.Attic/base/metta_printer.pl @@ -384,3 +384,4 @@ :- ensure_loaded(metta_utils). :- ensure_loaded(metta_printer). :- ensure_loaded(metta_eval). + diff --git a/.Attic/base/metta_python.pl b/.Attic/base/metta_python.pl index c0954d85605..6186651a6ad 100755 --- a/.Attic/base/metta_python.pl +++ b/.Attic/base/metta_python.pl @@ -431,3 +431,4 @@ % py_initialize(, +Argv, +Options) + diff --git a/.Attic/base/metta_reader.pl b/.Attic/base/metta_reader.pl index 349b4889b0b..f650fee1f1d 100755 --- a/.Attic/base/metta_reader.pl +++ b/.Attic/base/metta_reader.pl @@ -1655,3 +1655,4 @@ %:- fixup_exports. %:- endif. + diff --git a/.Attic/base/metta_rust.pl b/.Attic/base/metta_rust.pl index fcae66a45ba..951cbcadafb 100755 --- a/.Attic/base/metta_rust.pl +++ b/.Attic/base/metta_rust.pl @@ -3,3 +3,4 @@ :- ensure_loaded(metta_python). :- ensure_loaded(metta_interp). + diff --git a/.Attic/base/metta_server.pl b/.Attic/base/metta_server.pl index 54e030ac7ea..063183de9a0 100755 --- a/.Attic/base/metta_server.pl +++ b/.Attic/base/metta_server.pl @@ -284,3 +284,4 @@ % :- initialization(start_vspace_service). + diff --git a/.Attic/base/metta_space.pl b/.Attic/base/metta_space.pl index 226c44d1386..fb20cbf6929 100755 --- a/.Attic/base/metta_space.pl +++ b/.Attic/base/metta_space.pl @@ -599,3 +599,4 @@ symbol_contains(T,TT):- atom_contains(T,TT). */ + diff --git a/.Attic/base/metta_subst.pl b/.Attic/base/metta_subst.pl index 8336248a9a3..6d81550ad2b 100755 --- a/.Attic/base/metta_subst.pl +++ b/.Attic/base/metta_subst.pl @@ -896,3 +896,4 @@ %setof_subst(Depth,Self,X,S):- setof(E,subst_args(Eq,RetType,Depth,Self,X,E),S)*->true;S=[]. + diff --git a/.Attic/base/metta_test_nars_1.pl b/.Attic/base/metta_test_nars_1.pl index 9199e2d49e0..0ae896dcd58 100755 --- a/.Attic/base/metta_test_nars_1.pl +++ b/.Attic/base/metta_test_nars_1.pl @@ -1750,3 +1750,4 @@ % 17,439,387 inferences, 1.561 CPU in 1.572 seconds (99% CPU, 11172049 Lips) + diff --git a/.Attic/base/metta_testing.pl b/.Attic/base/metta_testing.pl index b2dfdbfdce6..0b3c2887e81 100755 --- a/.Attic/base/metta_testing.pl +++ b/.Attic/base/metta_testing.pl @@ -1177,3 +1177,4 @@ assert_eq!(result, bind_set![{object: expr!("baloon"), color: expr!("blue")}]); } + diff --git a/.Attic/base/metta_toplevel.pl b/.Attic/base/metta_toplevel.pl index 83f750583e3..6cad71a019e 100755 --- a/.Attic/base/metta_toplevel.pl +++ b/.Attic/base/metta_toplevel.pl @@ -2153,3 +2153,4 @@ '$append'(String, _, Event), !. + diff --git a/.Attic/base/metta_types.pl b/.Attic/base/metta_types.pl index 4ee14e958b1..d82131eba19 100755 --- a/.Attic/base/metta_types.pl +++ b/.Attic/base/metta_types.pl @@ -525,3 +525,4 @@ %:- load_pfc_file('metta_ontology.pl.pfc'). + diff --git a/.Attic/base/metta_utils.pl b/.Attic/base/metta_utils.pl index f25c14316ed..8113a7ad647 100755 --- a/.Attic/base/metta_utils.pl +++ b/.Attic/base/metta_utils.pl @@ -2519,3 +2519,4 @@ ignore_numvars(Name='$VAR'(Name)). + diff --git a/.Attic/base/swi_flybase.pl b/.Attic/base/swi_flybase.pl index f31eca76b8a..4a4583d0f5c 100755 --- a/.Attic/base/swi_flybase.pl +++ b/.Attic/base/swi_flybase.pl @@ -1,2 +1,2 @@ -:- ensure_loaded(flybase_main). \ No newline at end of file +:- ensure_loaded(flybase_main). diff --git a/.Attic/base/swi_support.pl b/.Attic/base/swi_support.pl index 1c107d3a09e..b65c0ac1ef2 100755 --- a/.Attic/base/swi_support.pl +++ b/.Attic/base/swi_support.pl @@ -165,3 +165,4 @@ add_history(_). :- endif. + diff --git a/.Attic/canary-dmiles/flybase_convert.pl b/.Attic/canary-dmiles/flybase_convert.pl index 4ce701549e3..a47c8b333e3 100755 --- a/.Attic/canary-dmiles/flybase_convert.pl +++ b/.Attic/canary-dmiles/flybase_convert.pl @@ -8,3 +8,4 @@ %:- ensure_loaded(swi_support). + diff --git a/.Attic/canary-dmiles/flybase_induced_types.pl b/.Attic/canary-dmiles/flybase_induced_types.pl index 09a771ee19d..83af0993af1 100755 --- a/.Attic/canary-dmiles/flybase_induced_types.pl +++ b/.Attic/canary-dmiles/flybase_induced_types.pl @@ -1645,3 +1645,4 @@ table_n_type(synonym, 4, current_fullname, _). table_n_type(synonym, 5, fullname_synonym, _). table_n_type(synonym, 6, symbol_synonym, _). + diff --git a/.Attic/canary-dmiles/flybase_json.pl b/.Attic/canary-dmiles/flybase_json.pl index bc335bb313b..a18e876ccf0 100755 --- a/.Attic/canary-dmiles/flybase_json.pl +++ b/.Attic/canary-dmiles/flybase_json.pl @@ -638,3 +638,4 @@ + diff --git a/.Attic/canary-dmiles/flybase_learn.pl b/.Attic/canary-dmiles/flybase_learn.pl index 71171bbbe17..5a500ce3012 100755 --- a/.Attic/canary-dmiles/flybase_learn.pl +++ b/.Attic/canary-dmiles/flybase_learn.pl @@ -2280,3 +2280,4 @@ fb_tsv_pred_stats('less-frequent', transposon_sequence_set, [9, [#, [#, 'ID=FBte0001033;name=Dmel\\mariner2;source=?;type=DNA;subtype=Tc1-Mariner', 1], [#, 'ID=FBte0000773;name=Dana\\Tom;source=Z24451;type=?;subtype=?', 1], [#, 'ID=FBte0000591;name=Dmel\\invader6;source=NT_033778;type=LTR;subtype=Gypsy', 1], [#, 'Ontology_term=SO:0000316;db_xref=FLYBASE:FBgnXXXXXXX;name=Dmel\\gypsy12\\pol;translation=KKCKASLDYISSIPTGPRDPRPFLPMRLLNCLVYGLLDSGASISCIGGGVVQAAMENEKFKSLIGEAATADGNSQRIVGLLKIEVEYGDIKKLLKLYVVPSLKQDLYLGIDFWKLYDLLPANLKIAEILSPEPNQQTVVDQHELCEGDKAKLANVINCFPSFSQEGLGKTNLVSHSIDVGTARPVKQRHFPVSPAVEKAMYAEIDRMLRLGVIGESESAWSSPIVMVTKPGKVRICLECRKVNSFTEMDAYPLPQINGILSRLPRAEYISSLDLKDAYWQVPLDPKSRDKTAFTVPGRPLYQFKVMPFGLCNATSTMSRLMDKVVPAHLRNEVFIYLDDLLIVSSCFESHLNVLRELALQIKRAGLTLNVAKSHFCMRRVRYLGHIIGDGGIRTDPEKVSAITDFPLPKSLKSLRSFMGLCGWYRKFVANFATLSAPLTDLMTTKRKFLLTKEAIEAFSKLKECLSKAPVLCSPDFAKPFAIHCDASKSGVGAVLVQVSEEGDERPIAFVSKKLNKAQRNYTVTEQECLAAIVALKNFRAYVEGLPFKIITDHASLKWLMSNHDLNSRLARWALALQRFKFEIEHRKGSLNVVPDTLSRVNEEIVAAMDLQEDLIVDFDSEFFQSGDYVKLVETVKENTSNFSDLKVESGFLYRKAEHLTGERMHDEYAWKLWVPKELVSKILARAHDSPLAAHGGIHKTLERIRRYYFWPGLVSDVRAYISACEVCKSTKSQNFTLRPPLGKAPESQRFFQRLFIDFLGPYPRSRSGNIGIFIVLDHFSKYVFLKPVKKIDSSVVIKYLEDELFMTFGVPEVILSDNGSQFRARTFQRLIRYGVKHTLTAVHSPQANASERVNRSVIAAIRAYLRLDQKDWDEFLSRICCALRSAVHSSIGTSPYYMVFGQHMITSGSTYSLIRRLNLLDDRSLKFDRHESFEIMRKQAVDQMRNKHNENEKRCNIRSRVVSFVEGQEVYREISSQAVSKPVTTPSLDRRS', 1], [#, 'Ontology_term=SO:0000316;db_xref=FLYBASE:FBgnXXXXXXX;name=Dmel\\gypsy12\\gag;translation=MGLDRSPTRKSPSVSNPVCKLCAAEISTQDLYVTTCHHEFYRECIGNHFKKSEICSRCKLTCRPPAEATERVGRETRSKTKNRRNSRRGSFDISQRCGEKLAVKLKIAATVDGGPSTSASGANANEASSSAVSANAALLAMERRLLATLSEKMADLVQNAITSSMQRIMPTPSPAVVVTASEMSADHPNAYERQYLASPNPVPSPRSASSDLFDRPDKVVHILNGWKIKYSGVGVSVDNFIYRVEAVTRQTLNGNFNLLCRNISVLFEGKANDFFWRYHKFDRVATMGTERFCTALRLQFRQSRDDGDIEELIRNTKQKPNETFDSFYDTVSELVDQLEQPWTANKLVRVLRNNLRPEIRHEILNLDVRTVSELREICKRREAFLADVRRCSSYAKDTPFKREISEVCHESEDEVRSTYEAENDIESFSLVCWNCRIEGHRYQECIAERRVFCYGCGAANTYKPSCRKCSKNFKVGMSKLPVKPKTSNAARNQSTMTDQ', 1], [#, 'ID=FBte0001136;name=Dmel\\gypsy12;source=AE003789;type=LTR;subtype=Gypsy', 1], [#, 'ID=FBte0001041;name=Dmel\\gypsy11;source=?;type=LTR;subtype=Gypsy', 1]]]). :- forall(fb_tsv_pred_stats(P,A1,Rest), (G=..[P,A1|Rest],assert(G))). + diff --git a/.Attic/canary-dmiles/flybase_main.pl b/.Attic/canary-dmiles/flybase_main.pl index 37877115663..78d430e1db4 100755 --- a/.Attic/canary-dmiles/flybase_main.pl +++ b/.Attic/canary-dmiles/flybase_main.pl @@ -3281,3 +3281,4 @@ %datalog_to_termlog:- datalog_to_termlog('whole_flybase.datalog'). + diff --git a/.Attic/canary-dmiles/flybase_obo.pl b/.Attic/canary-dmiles/flybase_obo.pl index b120df00bf7..2786768808f 100755 --- a/.Attic/canary-dmiles/flybase_obo.pl +++ b/.Attic/canary-dmiles/flybase_obo.pl @@ -292,3 +292,4 @@ simplify_obo_arg(I,O):- atom_number(I,O),!. + diff --git a/.Attic/canary-dmiles/flybase_scheme.pl b/.Attic/canary-dmiles/flybase_scheme.pl index 24c261a3d50..4870b0bffd4 100755 --- a/.Attic/canary-dmiles/flybase_scheme.pl +++ b/.Attic/canary-dmiles/flybase_scheme.pl @@ -2714,3 +2714,4 @@ 'information_schema.columns'(flybase,public,expressionprop,expressionprop_id,1,'nextval(\'expressionprop_expressionprop_id_seq\'::regclass)','NO',integer,'','',32,2,0,'','','','','','','','','','','','',flybase,pg_catalog,int4,'','','','',1,'NO','NO','','','','','','NO','NEVER','','YES'). 'information_schema.columns'(flybase,pg_catalog,pg_statistic_ext,stxnamespace,4,'','NO',oid,'','','','','','','','','','','','','','','','','',flybase,pg_catalog,oid,'','','','',4,'NO','NO','','','','','','NO','NEVER','','YES'). 'information_schema.columns'(flybase,public,library_expression,pub_id,4,'','NO',integer,'','',32,2,0,'','','','','','','','','','','','',flybase,pg_catalog,int4,'','','','',4,'NO','NO','','','','','','NO','NEVER','','YES'). + diff --git a/.Attic/canary-dmiles/metta_comp_templates.pl b/.Attic/canary-dmiles/metta_comp_templates.pl index f089052ec52..cb6c96f8c31 100755 --- a/.Attic/canary-dmiles/metta_comp_templates.pl +++ b/.Attic/canary-dmiles/metta_comp_templates.pl @@ -705,3 +705,4 @@ % + diff --git a/.Attic/canary-dmiles/metta_compiler.pl b/.Attic/canary-dmiles/metta_compiler.pl index e9938ed2eed..80e2ee47ef5 100755 --- a/.Attic/canary-dmiles/metta_compiler.pl +++ b/.Attic/canary-dmiles/metta_compiler.pl @@ -2174,3 +2174,4 @@ subst(Convert, ConvertFunction, Result, Converting), % Substitute AsFunction by Result in Convert f2p(Depth,HeadIs,RetType,RetResult, (AsPred, Converting), Converted). % Proceed with the conversion of the remaining terms + diff --git a/.Attic/canary-dmiles/metta_convert.pl b/.Attic/canary-dmiles/metta_convert.pl index db62722fc17..c4d1d1f9fca 100755 --- a/.Attic/canary-dmiles/metta_convert.pl +++ b/.Attic/canary-dmiles/metta_convert.pl @@ -761,3 +761,4 @@ + diff --git a/.Attic/canary-dmiles/metta_corelib.pl b/.Attic/canary-dmiles/metta_corelib.pl index 09ce93533c3..ca323adf4d9 100755 --- a/.Attic/canary-dmiles/metta_corelib.pl +++ b/.Attic/canary-dmiles/metta_corelib.pl @@ -158,3 +158,4 @@ metta_atom_corelib( [:, 'get-type', [->, 'Atom', 'Atom', 'Atom']]). metta_atom_corelib( [:, '==', [->, T, T, 'Bool']]). metta_atom_corelib( [:, ':', '%Undefined%']). + diff --git a/.Attic/canary-dmiles/metta_data.pl b/.Attic/canary-dmiles/metta_data.pl index 81d4e80099c..13487a51fa4 100755 --- a/.Attic/canary-dmiles/metta_data.pl +++ b/.Attic/canary-dmiles/metta_data.pl @@ -3662,3 +3662,4 @@ fwithout_running(G):- (t_l:mpred_run_paused->G;locally_tl(mpred_run_pause,G)). + diff --git a/.Attic/canary-dmiles/metta_debug.pl b/.Attic/canary-dmiles/metta_debug.pl index b7321b1d97f..e9b1b008c22 100755 --- a/.Attic/canary-dmiles/metta_debug.pl +++ b/.Attic/canary-dmiles/metta_debug.pl @@ -295,3 +295,4 @@ % (Ret\=@=retval(fail)->true;(fail,trace,(call(P4,D1,Self,X,Y)),fail)). + diff --git a/.Attic/canary-dmiles/metta_eval.pl b/.Attic/canary-dmiles/metta_eval.pl index 9a121e1801a..2d4cd7a848b 100755 --- a/.Attic/canary-dmiles/metta_eval.pl +++ b/.Attic/canary-dmiles/metta_eval.pl @@ -2094,3 +2094,4 @@ XX = [H|NewArgs],Y=XX. eval_evals(_Eq,_Depth,_Self,_RetType,X,X):-!. + diff --git a/.Attic/canary-dmiles/metta_interp.pl b/.Attic/canary-dmiles/metta_interp.pl index 92d4bc9fab6..d28a2101f10 100755 --- a/.Attic/canary-dmiles/metta_interp.pl +++ b/.Attic/canary-dmiles/metta_interp.pl @@ -2393,3 +2393,4 @@ % Example query to find the likelihoods that satisfy the constraints %?- complex_relationship(L1, L2, L3). + diff --git a/.Attic/canary-dmiles/metta_loader.pl b/.Attic/canary-dmiles/metta_loader.pl index 51fd96241ef..18cd0b4fa04 100755 --- a/.Attic/canary-dmiles/metta_loader.pl +++ b/.Attic/canary-dmiles/metta_loader.pl @@ -1036,3 +1036,4 @@ fail. % Continue looping until between/3 fails progress_bar_example. + diff --git a/.Attic/canary-dmiles/metta_ontology.pfc.pl b/.Attic/canary-dmiles/metta_ontology.pfc.pl index 5ba0c31d572..e09ebf8154d 100755 --- a/.Attic/canary-dmiles/metta_ontology.pfc.pl +++ b/.Attic/canary-dmiles/metta_ontology.pfc.pl @@ -325,3 +325,4 @@ :- set_prolog_flag(expect_pfc_file,never). :- set_prolog_flag(pfc_term_expansion,false). + diff --git a/.Attic/canary-dmiles/metta_ontology_level_1.pfc.pl b/.Attic/canary-dmiles/metta_ontology_level_1.pfc.pl index 9734d95fb19..256e3276830 100755 --- a/.Attic/canary-dmiles/metta_ontology_level_1.pfc.pl +++ b/.Attic/canary-dmiles/metta_ontology_level_1.pfc.pl @@ -388,3 +388,4 @@ :- fixup_exports. + diff --git a/.Attic/canary-dmiles/metta_ontology_level_2.pfc.pl b/.Attic/canary-dmiles/metta_ontology_level_2.pfc.pl index 4069d286fb3..c3dd7640f83 100755 --- a/.Attic/canary-dmiles/metta_ontology_level_2.pfc.pl +++ b/.Attic/canary-dmiles/metta_ontology_level_2.pfc.pl @@ -249,3 +249,4 @@ property('S', 'Deterministic'). property('Z', 'Deterministic'). + diff --git a/.Attic/canary-dmiles/metta_prelude_comp.pl b/.Attic/canary-dmiles/metta_prelude_comp.pl index 8594b787f34..c8b994cebf7 100755 --- a/.Attic/canary-dmiles/metta_prelude_comp.pl +++ b/.Attic/canary-dmiles/metta_prelude_comp.pl @@ -240,3 +240,4 @@ % 1,264,919 inferences, 0.139 CPU in 0.140 seconds (99% CPU, 9074539 Lips) % (= metta_prelude.metta 0) + diff --git a/.Attic/canary-dmiles/metta_printer.pl b/.Attic/canary-dmiles/metta_printer.pl index 6fde6d2a4ff..274bc80c2f4 100755 --- a/.Attic/canary-dmiles/metta_printer.pl +++ b/.Attic/canary-dmiles/metta_printer.pl @@ -384,3 +384,4 @@ :- ensure_loaded(metta_utils). :- ensure_loaded(metta_printer). :- ensure_loaded(metta_eval). + diff --git a/.Attic/canary-dmiles/metta_python.pl b/.Attic/canary-dmiles/metta_python.pl index 5549565409f..567d9e518d8 100755 --- a/.Attic/canary-dmiles/metta_python.pl +++ b/.Attic/canary-dmiles/metta_python.pl @@ -502,3 +502,4 @@ % py_initialize(, +Argv, +Options) + diff --git a/.Attic/canary-dmiles/metta_reader.pl b/.Attic/canary-dmiles/metta_reader.pl index 670d340c589..480e18db21a 100755 --- a/.Attic/canary-dmiles/metta_reader.pl +++ b/.Attic/canary-dmiles/metta_reader.pl @@ -1709,3 +1709,4 @@ %:- fixup_exports. %:- endif. + diff --git a/.Attic/canary-dmiles/metta_rust.pl b/.Attic/canary-dmiles/metta_rust.pl index fcae66a45ba..951cbcadafb 100755 --- a/.Attic/canary-dmiles/metta_rust.pl +++ b/.Attic/canary-dmiles/metta_rust.pl @@ -3,3 +3,4 @@ :- ensure_loaded(metta_python). :- ensure_loaded(metta_interp). + diff --git a/.Attic/canary-dmiles/metta_server.pl b/.Attic/canary-dmiles/metta_server.pl index 343d2a5afcd..5fdf8c939f8 100755 --- a/.Attic/canary-dmiles/metta_server.pl +++ b/.Attic/canary-dmiles/metta_server.pl @@ -336,3 +336,4 @@ % :- initialization(start_vspace_service). + diff --git a/.Attic/canary-dmiles/metta_space.pl b/.Attic/canary-dmiles/metta_space.pl index 874e6dc2c1c..723c8b5ac33 100755 --- a/.Attic/canary-dmiles/metta_space.pl +++ b/.Attic/canary-dmiles/metta_space.pl @@ -659,3 +659,4 @@ symbol_contains(T,TT):- atom_contains(T,TT). */ + diff --git a/.Attic/canary-dmiles/metta_subst.pl b/.Attic/canary-dmiles/metta_subst.pl index 32c75e03dbe..77e68b0eab6 100755 --- a/.Attic/canary-dmiles/metta_subst.pl +++ b/.Attic/canary-dmiles/metta_subst.pl @@ -928,3 +928,4 @@ %setof_subst(Depth,Self,X,S):- setof(E,subst_args(Eq,RetType,Depth,Self,X,E),S)*->true;S=[]. + diff --git a/.Attic/canary-dmiles/metta_test_nars_1.pl b/.Attic/canary-dmiles/metta_test_nars_1.pl index 9199e2d49e0..0ae896dcd58 100755 --- a/.Attic/canary-dmiles/metta_test_nars_1.pl +++ b/.Attic/canary-dmiles/metta_test_nars_1.pl @@ -1750,3 +1750,4 @@ % 17,439,387 inferences, 1.561 CPU in 1.572 seconds (99% CPU, 11172049 Lips) + diff --git a/.Attic/canary-dmiles/metta_testing.pl b/.Attic/canary-dmiles/metta_testing.pl index 2be90bc7fd0..af80e883562 100755 --- a/.Attic/canary-dmiles/metta_testing.pl +++ b/.Attic/canary-dmiles/metta_testing.pl @@ -1197,3 +1197,4 @@ assert_eq!(result, bind_set![{object: expr!("baloon"), color: expr!("blue")}]); } + diff --git a/.Attic/canary-dmiles/metta_toplevel.pl b/.Attic/canary-dmiles/metta_toplevel.pl index 83f750583e3..6cad71a019e 100755 --- a/.Attic/canary-dmiles/metta_toplevel.pl +++ b/.Attic/canary-dmiles/metta_toplevel.pl @@ -2153,3 +2153,4 @@ '$append'(String, _, Event), !. + diff --git a/.Attic/canary-dmiles/metta_types.pl b/.Attic/canary-dmiles/metta_types.pl index edaa7c69054..b3a143351d5 100755 --- a/.Attic/canary-dmiles/metta_types.pl +++ b/.Attic/canary-dmiles/metta_types.pl @@ -734,3 +734,4 @@ %:- load_pfc_file('metta_ontology.pl.pfc'). + diff --git a/.Attic/canary-dmiles/metta_utils.pl b/.Attic/canary-dmiles/metta_utils.pl index 6284c916c10..1f27188d06d 100755 --- a/.Attic/canary-dmiles/metta_utils.pl +++ b/.Attic/canary-dmiles/metta_utils.pl @@ -2549,3 +2549,4 @@ ignore_numvars(Name='$VAR'(Name)). + diff --git a/.Attic/canary-dmiles/swi_flybase.pl b/.Attic/canary-dmiles/swi_flybase.pl index f31eca76b8a..4a4583d0f5c 100755 --- a/.Attic/canary-dmiles/swi_flybase.pl +++ b/.Attic/canary-dmiles/swi_flybase.pl @@ -1,2 +1,2 @@ -:- ensure_loaded(flybase_main). \ No newline at end of file +:- ensure_loaded(flybase_main). diff --git a/.Attic/canary-dmiles/swi_support.pl b/.Attic/canary-dmiles/swi_support.pl index 7f20b228581..725fedc1489 100755 --- a/.Attic/canary-dmiles/swi_support.pl +++ b/.Attic/canary-dmiles/swi_support.pl @@ -183,3 +183,4 @@ add_history(_). :- endif. + diff --git a/.Attic/canary_3/flybase_convert.pl b/.Attic/canary_3/flybase_convert.pl index 4ce701549e3..a47c8b333e3 100755 --- a/.Attic/canary_3/flybase_convert.pl +++ b/.Attic/canary_3/flybase_convert.pl @@ -8,3 +8,4 @@ %:- ensure_loaded(swi_support). + diff --git a/.Attic/canary_3/flybase_induced_types.pl b/.Attic/canary_3/flybase_induced_types.pl index 09a771ee19d..83af0993af1 100755 --- a/.Attic/canary_3/flybase_induced_types.pl +++ b/.Attic/canary_3/flybase_induced_types.pl @@ -1645,3 +1645,4 @@ table_n_type(synonym, 4, current_fullname, _). table_n_type(synonym, 5, fullname_synonym, _). table_n_type(synonym, 6, symbol_synonym, _). + diff --git a/.Attic/canary_3/flybase_json.pl b/.Attic/canary_3/flybase_json.pl index bc335bb313b..a18e876ccf0 100755 --- a/.Attic/canary_3/flybase_json.pl +++ b/.Attic/canary_3/flybase_json.pl @@ -638,3 +638,4 @@ + diff --git a/.Attic/canary_3/flybase_learn.pl b/.Attic/canary_3/flybase_learn.pl index 71171bbbe17..5a500ce3012 100755 --- a/.Attic/canary_3/flybase_learn.pl +++ b/.Attic/canary_3/flybase_learn.pl @@ -2280,3 +2280,4 @@ fb_tsv_pred_stats('less-frequent', transposon_sequence_set, [9, [#, [#, 'ID=FBte0001033;name=Dmel\\mariner2;source=?;type=DNA;subtype=Tc1-Mariner', 1], [#, 'ID=FBte0000773;name=Dana\\Tom;source=Z24451;type=?;subtype=?', 1], [#, 'ID=FBte0000591;name=Dmel\\invader6;source=NT_033778;type=LTR;subtype=Gypsy', 1], [#, 'Ontology_term=SO:0000316;db_xref=FLYBASE:FBgnXXXXXXX;name=Dmel\\gypsy12\\pol;translation=KKCKASLDYISSIPTGPRDPRPFLPMRLLNCLVYGLLDSGASISCIGGGVVQAAMENEKFKSLIGEAATADGNSQRIVGLLKIEVEYGDIKKLLKLYVVPSLKQDLYLGIDFWKLYDLLPANLKIAEILSPEPNQQTVVDQHELCEGDKAKLANVINCFPSFSQEGLGKTNLVSHSIDVGTARPVKQRHFPVSPAVEKAMYAEIDRMLRLGVIGESESAWSSPIVMVTKPGKVRICLECRKVNSFTEMDAYPLPQINGILSRLPRAEYISSLDLKDAYWQVPLDPKSRDKTAFTVPGRPLYQFKVMPFGLCNATSTMSRLMDKVVPAHLRNEVFIYLDDLLIVSSCFESHLNVLRELALQIKRAGLTLNVAKSHFCMRRVRYLGHIIGDGGIRTDPEKVSAITDFPLPKSLKSLRSFMGLCGWYRKFVANFATLSAPLTDLMTTKRKFLLTKEAIEAFSKLKECLSKAPVLCSPDFAKPFAIHCDASKSGVGAVLVQVSEEGDERPIAFVSKKLNKAQRNYTVTEQECLAAIVALKNFRAYVEGLPFKIITDHASLKWLMSNHDLNSRLARWALALQRFKFEIEHRKGSLNVVPDTLSRVNEEIVAAMDLQEDLIVDFDSEFFQSGDYVKLVETVKENTSNFSDLKVESGFLYRKAEHLTGERMHDEYAWKLWVPKELVSKILARAHDSPLAAHGGIHKTLERIRRYYFWPGLVSDVRAYISACEVCKSTKSQNFTLRPPLGKAPESQRFFQRLFIDFLGPYPRSRSGNIGIFIVLDHFSKYVFLKPVKKIDSSVVIKYLEDELFMTFGVPEVILSDNGSQFRARTFQRLIRYGVKHTLTAVHSPQANASERVNRSVIAAIRAYLRLDQKDWDEFLSRICCALRSAVHSSIGTSPYYMVFGQHMITSGSTYSLIRRLNLLDDRSLKFDRHESFEIMRKQAVDQMRNKHNENEKRCNIRSRVVSFVEGQEVYREISSQAVSKPVTTPSLDRRS', 1], [#, 'Ontology_term=SO:0000316;db_xref=FLYBASE:FBgnXXXXXXX;name=Dmel\\gypsy12\\gag;translation=MGLDRSPTRKSPSVSNPVCKLCAAEISTQDLYVTTCHHEFYRECIGNHFKKSEICSRCKLTCRPPAEATERVGRETRSKTKNRRNSRRGSFDISQRCGEKLAVKLKIAATVDGGPSTSASGANANEASSSAVSANAALLAMERRLLATLSEKMADLVQNAITSSMQRIMPTPSPAVVVTASEMSADHPNAYERQYLASPNPVPSPRSASSDLFDRPDKVVHILNGWKIKYSGVGVSVDNFIYRVEAVTRQTLNGNFNLLCRNISVLFEGKANDFFWRYHKFDRVATMGTERFCTALRLQFRQSRDDGDIEELIRNTKQKPNETFDSFYDTVSELVDQLEQPWTANKLVRVLRNNLRPEIRHEILNLDVRTVSELREICKRREAFLADVRRCSSYAKDTPFKREISEVCHESEDEVRSTYEAENDIESFSLVCWNCRIEGHRYQECIAERRVFCYGCGAANTYKPSCRKCSKNFKVGMSKLPVKPKTSNAARNQSTMTDQ', 1], [#, 'ID=FBte0001136;name=Dmel\\gypsy12;source=AE003789;type=LTR;subtype=Gypsy', 1], [#, 'ID=FBte0001041;name=Dmel\\gypsy11;source=?;type=LTR;subtype=Gypsy', 1]]]). :- forall(fb_tsv_pred_stats(P,A1,Rest), (G=..[P,A1|Rest],assert(G))). + diff --git a/.Attic/canary_3/flybase_main.pl b/.Attic/canary_3/flybase_main.pl index a7f7b6d74d3..d987d75e7f5 100755 --- a/.Attic/canary_3/flybase_main.pl +++ b/.Attic/canary_3/flybase_main.pl @@ -3282,3 +3282,4 @@ %datalog_to_termlog:- datalog_to_termlog('whole_flybase.datalog'). + diff --git a/.Attic/canary_3/flybase_obo.pl b/.Attic/canary_3/flybase_obo.pl index b120df00bf7..2786768808f 100755 --- a/.Attic/canary_3/flybase_obo.pl +++ b/.Attic/canary_3/flybase_obo.pl @@ -292,3 +292,4 @@ simplify_obo_arg(I,O):- atom_number(I,O),!. + diff --git a/.Attic/canary_3/flybase_scheme.pl b/.Attic/canary_3/flybase_scheme.pl index 24c261a3d50..4870b0bffd4 100755 --- a/.Attic/canary_3/flybase_scheme.pl +++ b/.Attic/canary_3/flybase_scheme.pl @@ -2714,3 +2714,4 @@ 'information_schema.columns'(flybase,public,expressionprop,expressionprop_id,1,'nextval(\'expressionprop_expressionprop_id_seq\'::regclass)','NO',integer,'','',32,2,0,'','','','','','','','','','','','',flybase,pg_catalog,int4,'','','','',1,'NO','NO','','','','','','NO','NEVER','','YES'). 'information_schema.columns'(flybase,pg_catalog,pg_statistic_ext,stxnamespace,4,'','NO',oid,'','','','','','','','','','','','','','','','','',flybase,pg_catalog,oid,'','','','',4,'NO','NO','','','','','','NO','NEVER','','YES'). 'information_schema.columns'(flybase,public,library_expression,pub_id,4,'','NO',integer,'','',32,2,0,'','','','','','','','','','','','',flybase,pg_catalog,int4,'','','','',4,'NO','NO','','','','','','NO','NEVER','','YES'). + diff --git a/.Attic/canary_3/metta_comp_templates.pl b/.Attic/canary_3/metta_comp_templates.pl index 8b1c8aaba57..b1ce1229437 100755 --- a/.Attic/canary_3/metta_comp_templates.pl +++ b/.Attic/canary_3/metta_comp_templates.pl @@ -656,3 +656,4 @@ % + diff --git a/.Attic/canary_3/metta_compiler.pl b/.Attic/canary_3/metta_compiler.pl index 66bd742f51e..2b11cf532df 100755 --- a/.Attic/canary_3/metta_compiler.pl +++ b/.Attic/canary_3/metta_compiler.pl @@ -1193,3 +1193,4 @@ nl(Stream). + diff --git a/.Attic/canary_3/metta_convert.pl b/.Attic/canary_3/metta_convert.pl index 69774daf424..bb6e150478e 100755 --- a/.Attic/canary_3/metta_convert.pl +++ b/.Attic/canary_3/metta_convert.pl @@ -761,3 +761,4 @@ + diff --git a/.Attic/canary_3/metta_data.pl b/.Attic/canary_3/metta_data.pl index 357f6811271..acc69e93e16 100755 --- a/.Attic/canary_3/metta_data.pl +++ b/.Attic/canary_3/metta_data.pl @@ -3662,3 +3662,4 @@ fwithout_running(G):- (t_l:mpred_run_paused->G;locally_tl(mpred_run_pause,G)). + diff --git a/.Attic/canary_3/metta_debug.pl b/.Attic/canary_3/metta_debug.pl index b60e638396e..56e5fd94738 100755 --- a/.Attic/canary_3/metta_debug.pl +++ b/.Attic/canary_3/metta_debug.pl @@ -234,3 +234,4 @@ % (Ret\=@=retval(fail)->true;(fail,trace,(call(P4,D1,Self,X,Y)),fail)). + diff --git a/.Attic/canary_3/metta_eval.pl b/.Attic/canary_3/metta_eval.pl index ab0794c19a5..959013fae44 100755 --- a/.Attic/canary_3/metta_eval.pl +++ b/.Attic/canary_3/metta_eval.pl @@ -1932,3 +1932,4 @@ bc_impl([:, _prfarg, _prms], _k, [:, _prfarg, _prms]). + diff --git a/.Attic/canary_3/metta_interp.pl b/.Attic/canary_3/metta_interp.pl index bee49ace580..ca2e23e3c87 100755 --- a/.Attic/canary_3/metta_interp.pl +++ b/.Attic/canary_3/metta_interp.pl @@ -2248,3 +2248,4 @@ % Example query to find the likelihoods that satisfy the constraints %?- complex_relationship(L1, L2, L3). + diff --git a/.Attic/canary_3/metta_loader.pl b/.Attic/canary_3/metta_loader.pl index 77781071cfb..74e00bc078a 100755 --- a/.Attic/canary_3/metta_loader.pl +++ b/.Attic/canary_3/metta_loader.pl @@ -552,3 +552,4 @@ %:- dynamic((metta_type/3,metta_defn/3,get_metta_atom/2)). + diff --git a/.Attic/canary_3/metta_prelude.pl b/.Attic/canary_3/metta_prelude.pl index 8594b787f34..c8b994cebf7 100755 --- a/.Attic/canary_3/metta_prelude.pl +++ b/.Attic/canary_3/metta_prelude.pl @@ -240,3 +240,4 @@ % 1,264,919 inferences, 0.139 CPU in 0.140 seconds (99% CPU, 9074539 Lips) % (= metta_prelude.metta 0) + diff --git a/.Attic/canary_3/metta_prelude_comp.pl b/.Attic/canary_3/metta_prelude_comp.pl index 8594b787f34..c8b994cebf7 100755 --- a/.Attic/canary_3/metta_prelude_comp.pl +++ b/.Attic/canary_3/metta_prelude_comp.pl @@ -240,3 +240,4 @@ % 1,264,919 inferences, 0.139 CPU in 0.140 seconds (99% CPU, 9074539 Lips) % (= metta_prelude.metta 0) + diff --git a/.Attic/canary_3/metta_printer.pl b/.Attic/canary_3/metta_printer.pl index c2f07a2c402..200cb201e60 100755 --- a/.Attic/canary_3/metta_printer.pl +++ b/.Attic/canary_3/metta_printer.pl @@ -384,3 +384,4 @@ :- ensure_loaded(metta_utils). :- ensure_loaded(metta_printer). :- ensure_loaded(metta_eval). + diff --git a/.Attic/canary_3/metta_python.pl b/.Attic/canary_3/metta_python.pl index 8b931827bb8..3cf1098f90d 100755 --- a/.Attic/canary_3/metta_python.pl +++ b/.Attic/canary_3/metta_python.pl @@ -431,3 +431,4 @@ % py_initialize(, +Argv, +Options) + diff --git a/.Attic/canary_3/metta_reader.pl b/.Attic/canary_3/metta_reader.pl index 349b4889b0b..f650fee1f1d 100755 --- a/.Attic/canary_3/metta_reader.pl +++ b/.Attic/canary_3/metta_reader.pl @@ -1655,3 +1655,4 @@ %:- fixup_exports. %:- endif. + diff --git a/.Attic/canary_3/metta_rust.pl b/.Attic/canary_3/metta_rust.pl index fcae66a45ba..951cbcadafb 100755 --- a/.Attic/canary_3/metta_rust.pl +++ b/.Attic/canary_3/metta_rust.pl @@ -3,3 +3,4 @@ :- ensure_loaded(metta_python). :- ensure_loaded(metta_interp). + diff --git a/.Attic/canary_3/metta_server.pl b/.Attic/canary_3/metta_server.pl index 343d2a5afcd..5fdf8c939f8 100755 --- a/.Attic/canary_3/metta_server.pl +++ b/.Attic/canary_3/metta_server.pl @@ -336,3 +336,4 @@ % :- initialization(start_vspace_service). + diff --git a/.Attic/canary_3/metta_space.pl b/.Attic/canary_3/metta_space.pl index c1363cc05ef..d22b4cb4a20 100755 --- a/.Attic/canary_3/metta_space.pl +++ b/.Attic/canary_3/metta_space.pl @@ -574,3 +574,4 @@ symbol_contains(T,TT):- atom_contains(T,TT). */ + diff --git a/.Attic/canary_3/metta_subst.pl b/.Attic/canary_3/metta_subst.pl index 8336248a9a3..6d81550ad2b 100755 --- a/.Attic/canary_3/metta_subst.pl +++ b/.Attic/canary_3/metta_subst.pl @@ -896,3 +896,4 @@ %setof_subst(Depth,Self,X,S):- setof(E,subst_args(Eq,RetType,Depth,Self,X,E),S)*->true;S=[]. + diff --git a/.Attic/canary_3/metta_test_nars_1.pl b/.Attic/canary_3/metta_test_nars_1.pl index 9199e2d49e0..0ae896dcd58 100755 --- a/.Attic/canary_3/metta_test_nars_1.pl +++ b/.Attic/canary_3/metta_test_nars_1.pl @@ -1750,3 +1750,4 @@ % 17,439,387 inferences, 1.561 CPU in 1.572 seconds (99% CPU, 11172049 Lips) + diff --git a/.Attic/canary_3/metta_testing.pl b/.Attic/canary_3/metta_testing.pl index 15ad38d0cb2..38ceb830118 100755 --- a/.Attic/canary_3/metta_testing.pl +++ b/.Attic/canary_3/metta_testing.pl @@ -1179,3 +1179,4 @@ assert_eq!(result, bind_set![{object: expr!("baloon"), color: expr!("blue")}]); } + diff --git a/.Attic/canary_3/metta_toplevel.pl b/.Attic/canary_3/metta_toplevel.pl index 83f750583e3..6cad71a019e 100755 --- a/.Attic/canary_3/metta_toplevel.pl +++ b/.Attic/canary_3/metta_toplevel.pl @@ -2153,3 +2153,4 @@ '$append'(String, _, Event), !. + diff --git a/.Attic/canary_3/metta_types.pl b/.Attic/canary_3/metta_types.pl index 4ee14e958b1..d82131eba19 100755 --- a/.Attic/canary_3/metta_types.pl +++ b/.Attic/canary_3/metta_types.pl @@ -525,3 +525,4 @@ %:- load_pfc_file('metta_ontology.pl.pfc'). + diff --git a/.Attic/canary_3/metta_utils.pl b/.Attic/canary_3/metta_utils.pl index 0e935762149..76582e4571c 100755 --- a/.Attic/canary_3/metta_utils.pl +++ b/.Attic/canary_3/metta_utils.pl @@ -2520,3 +2520,4 @@ ignore_numvars(Name='$VAR'(Name)). + diff --git a/.Attic/canary_3/swi_flybase.pl b/.Attic/canary_3/swi_flybase.pl index f31eca76b8a..4a4583d0f5c 100755 --- a/.Attic/canary_3/swi_flybase.pl +++ b/.Attic/canary_3/swi_flybase.pl @@ -1,2 +1,2 @@ -:- ensure_loaded(flybase_main). \ No newline at end of file +:- ensure_loaded(flybase_main). diff --git a/.Attic/canary_3/swi_support.pl b/.Attic/canary_3/swi_support.pl index 7f20b228581..725fedc1489 100755 --- a/.Attic/canary_3/swi_support.pl +++ b/.Attic/canary_3/swi_support.pl @@ -183,3 +183,4 @@ add_history(_). :- endif. + diff --git a/.Attic/comp_werks/flybase_convert.pl b/.Attic/comp_werks/flybase_convert.pl index 4ce701549e3..a47c8b333e3 100755 --- a/.Attic/comp_werks/flybase_convert.pl +++ b/.Attic/comp_werks/flybase_convert.pl @@ -8,3 +8,4 @@ %:- ensure_loaded(swi_support). + diff --git a/.Attic/comp_werks/flybase_induced_types.pl b/.Attic/comp_werks/flybase_induced_types.pl index 09a771ee19d..83af0993af1 100755 --- a/.Attic/comp_werks/flybase_induced_types.pl +++ b/.Attic/comp_werks/flybase_induced_types.pl @@ -1645,3 +1645,4 @@ table_n_type(synonym, 4, current_fullname, _). table_n_type(synonym, 5, fullname_synonym, _). table_n_type(synonym, 6, symbol_synonym, _). + diff --git a/.Attic/comp_werks/flybase_json.pl b/.Attic/comp_werks/flybase_json.pl index efb27c25cec..6a25ca575ce 100755 --- a/.Attic/comp_werks/flybase_json.pl +++ b/.Attic/comp_werks/flybase_json.pl @@ -638,3 +638,4 @@ + diff --git a/.Attic/comp_werks/flybase_learn.pl b/.Attic/comp_werks/flybase_learn.pl index 4a74f28277c..c90c9e14725 100755 --- a/.Attic/comp_werks/flybase_learn.pl +++ b/.Attic/comp_werks/flybase_learn.pl @@ -2280,3 +2280,4 @@ fb_tsv_pred_stats('less-frequent', transposon_sequence_set, [9, [#, [#, 'ID=FBte0001033;name=Dmel\\mariner2;source=?;type=DNA;subtype=Tc1-Mariner', 1], [#, 'ID=FBte0000773;name=Dana\\Tom;source=Z24451;type=?;subtype=?', 1], [#, 'ID=FBte0000591;name=Dmel\\invader6;source=NT_033778;type=LTR;subtype=Gypsy', 1], [#, 'Ontology_term=SO:0000316;db_xref=FLYBASE:FBgnXXXXXXX;name=Dmel\\gypsy12\\pol;translation=KKCKASLDYISSIPTGPRDPRPFLPMRLLNCLVYGLLDSGASISCIGGGVVQAAMENEKFKSLIGEAATADGNSQRIVGLLKIEVEYGDIKKLLKLYVVPSLKQDLYLGIDFWKLYDLLPANLKIAEILSPEPNQQTVVDQHELCEGDKAKLANVINCFPSFSQEGLGKTNLVSHSIDVGTARPVKQRHFPVSPAVEKAMYAEIDRMLRLGVIGESESAWSSPIVMVTKPGKVRICLECRKVNSFTEMDAYPLPQINGILSRLPRAEYISSLDLKDAYWQVPLDPKSRDKTAFTVPGRPLYQFKVMPFGLCNATSTMSRLMDKVVPAHLRNEVFIYLDDLLIVSSCFESHLNVLRELALQIKRAGLTLNVAKSHFCMRRVRYLGHIIGDGGIRTDPEKVSAITDFPLPKSLKSLRSFMGLCGWYRKFVANFATLSAPLTDLMTTKRKFLLTKEAIEAFSKLKECLSKAPVLCSPDFAKPFAIHCDASKSGVGAVLVQVSEEGDERPIAFVSKKLNKAQRNYTVTEQECLAAIVALKNFRAYVEGLPFKIITDHASLKWLMSNHDLNSRLARWALALQRFKFEIEHRKGSLNVVPDTLSRVNEEIVAAMDLQEDLIVDFDSEFFQSGDYVKLVETVKENTSNFSDLKVESGFLYRKAEHLTGERMHDEYAWKLWVPKELVSKILARAHDSPLAAHGGIHKTLERIRRYYFWPGLVSDVRAYISACEVCKSTKSQNFTLRPPLGKAPESQRFFQRLFIDFLGPYPRSRSGNIGIFIVLDHFSKYVFLKPVKKIDSSVVIKYLEDELFMTFGVPEVILSDNGSQFRARTFQRLIRYGVKHTLTAVHSPQANASERVNRSVIAAIRAYLRLDQKDWDEFLSRICCALRSAVHSSIGTSPYYMVFGQHMITSGSTYSLIRRLNLLDDRSLKFDRHESFEIMRKQAVDQMRNKHNENEKRCNIRSRVVSFVEGQEVYREISSQAVSKPVTTPSLDRRS', 1], [#, 'Ontology_term=SO:0000316;db_xref=FLYBASE:FBgnXXXXXXX;name=Dmel\\gypsy12\\gag;translation=MGLDRSPTRKSPSVSNPVCKLCAAEISTQDLYVTTCHHEFYRECIGNHFKKSEICSRCKLTCRPPAEATERVGRETRSKTKNRRNSRRGSFDISQRCGEKLAVKLKIAATVDGGPSTSASGANANEASSSAVSANAALLAMERRLLATLSEKMADLVQNAITSSMQRIMPTPSPAVVVTASEMSADHPNAYERQYLASPNPVPSPRSASSDLFDRPDKVVHILNGWKIKYSGVGVSVDNFIYRVEAVTRQTLNGNFNLLCRNISVLFEGKANDFFWRYHKFDRVATMGTERFCTALRLQFRQSRDDGDIEELIRNTKQKPNETFDSFYDTVSELVDQLEQPWTANKLVRVLRNNLRPEIRHEILNLDVRTVSELREICKRREAFLADVRRCSSYAKDTPFKREISEVCHESEDEVRSTYEAENDIESFSLVCWNCRIEGHRYQECIAERRVFCYGCGAANTYKPSCRKCSKNFKVGMSKLPVKPKTSNAARNQSTMTDQ', 1], [#, 'ID=FBte0001136;name=Dmel\\gypsy12;source=AE003789;type=LTR;subtype=Gypsy', 1], [#, 'ID=FBte0001041;name=Dmel\\gypsy11;source=?;type=LTR;subtype=Gypsy', 1]]]). :- forall(fb_tsv_pred_stats(P,A1,Rest), (G=..[P,A1|Rest],assert(G))). + diff --git a/.Attic/comp_werks/flybase_main.pl b/.Attic/comp_werks/flybase_main.pl index c82041013d3..45f3ebe06ea 100755 --- a/.Attic/comp_werks/flybase_main.pl +++ b/.Attic/comp_werks/flybase_main.pl @@ -3261,3 +3261,4 @@ %datalog_to_termlog:- datalog_to_termlog('whole_flybase.datalog'). + diff --git a/.Attic/comp_werks/flybase_obo.pl b/.Attic/comp_werks/flybase_obo.pl index 8882e05410f..c63526904d1 100755 --- a/.Attic/comp_werks/flybase_obo.pl +++ b/.Attic/comp_werks/flybase_obo.pl @@ -292,3 +292,4 @@ simplify_obo_arg(I,O):- atom_number(I,O),!. + diff --git a/.Attic/comp_werks/flybase_scheme.pl b/.Attic/comp_werks/flybase_scheme.pl index 24c261a3d50..4870b0bffd4 100755 --- a/.Attic/comp_werks/flybase_scheme.pl +++ b/.Attic/comp_werks/flybase_scheme.pl @@ -2714,3 +2714,4 @@ 'information_schema.columns'(flybase,public,expressionprop,expressionprop_id,1,'nextval(\'expressionprop_expressionprop_id_seq\'::regclass)','NO',integer,'','',32,2,0,'','','','','','','','','','','','',flybase,pg_catalog,int4,'','','','',1,'NO','NO','','','','','','NO','NEVER','','YES'). 'information_schema.columns'(flybase,pg_catalog,pg_statistic_ext,stxnamespace,4,'','NO',oid,'','','','','','','','','','','','','','','','','',flybase,pg_catalog,oid,'','','','',4,'NO','NO','','','','','','NO','NEVER','','YES'). 'information_schema.columns'(flybase,public,library_expression,pub_id,4,'','NO',integer,'','',32,2,0,'','','','','','','','','','','','',flybase,pg_catalog,int4,'','','','',4,'NO','NO','','','','','','NO','NEVER','','YES'). + diff --git a/.Attic/comp_werks/metta_comp_templates.pl b/.Attic/comp_werks/metta_comp_templates.pl index 8b1c8aaba57..b1ce1229437 100755 --- a/.Attic/comp_werks/metta_comp_templates.pl +++ b/.Attic/comp_werks/metta_comp_templates.pl @@ -656,3 +656,4 @@ % + diff --git a/.Attic/comp_werks/metta_compiler.pl b/.Attic/comp_werks/metta_compiler.pl index b14ac011192..0ff7f4901f4 100755 --- a/.Attic/comp_werks/metta_compiler.pl +++ b/.Attic/comp_werks/metta_compiler.pl @@ -1480,3 +1480,4 @@ nl(Stream). + diff --git a/.Attic/comp_werks/metta_compiler_werked.pl b/.Attic/comp_werks/metta_compiler_werked.pl index b14ac011192..0ff7f4901f4 100755 --- a/.Attic/comp_werks/metta_compiler_werked.pl +++ b/.Attic/comp_werks/metta_compiler_werked.pl @@ -1480,3 +1480,4 @@ nl(Stream). + diff --git a/.Attic/comp_werks/metta_convert.pl b/.Attic/comp_werks/metta_convert.pl index 46773cafea7..2d51ac0b4f1 100755 --- a/.Attic/comp_werks/metta_convert.pl +++ b/.Attic/comp_werks/metta_convert.pl @@ -492,3 +492,4 @@ + diff --git a/.Attic/comp_werks/metta_data.pl b/.Attic/comp_werks/metta_data.pl index 90fe9edb7a8..674123d0f4a 100755 --- a/.Attic/comp_werks/metta_data.pl +++ b/.Attic/comp_werks/metta_data.pl @@ -3610,3 +3610,4 @@ fwithout_running(G):- (t_l:mpred_run_paused->G;locally_tl(mpred_run_pause,G)). + diff --git a/.Attic/comp_werks/metta_debug.pl b/.Attic/comp_werks/metta_debug.pl index b60e638396e..56e5fd94738 100755 --- a/.Attic/comp_werks/metta_debug.pl +++ b/.Attic/comp_werks/metta_debug.pl @@ -234,3 +234,4 @@ % (Ret\=@=retval(fail)->true;(fail,trace,(call(P4,D1,Self,X,Y)),fail)). + diff --git a/.Attic/comp_werks/metta_eval.pl b/.Attic/comp_werks/metta_eval.pl index 1b15f7f7f5a..0b357028b39 100755 --- a/.Attic/comp_werks/metta_eval.pl +++ b/.Attic/comp_werks/metta_eval.pl @@ -1570,3 +1570,4 @@ %X in -1000..1000, % Define a domain for X (X + A) * (X + B) #= I*X*X + J*X + K. % Define the quadratic equation %label([X]). % Find solutions for X + diff --git a/.Attic/comp_werks/metta_interp.pl b/.Attic/comp_werks/metta_interp.pl index 897e3b36bcc..9b67a1ade08 100755 --- a/.Attic/comp_werks/metta_interp.pl +++ b/.Attic/comp_werks/metta_interp.pl @@ -2400,3 +2400,4 @@ % Example query to find the likelihoods that satisfy the constraints %?- complex_relationship(L1, L2, L3). + diff --git a/.Attic/comp_werks/metta_loader.pl b/.Attic/comp_werks/metta_loader.pl index 5d99cb34ed2..ffe3179009f 100755 --- a/.Attic/comp_werks/metta_loader.pl +++ b/.Attic/comp_werks/metta_loader.pl @@ -935,3 +935,4 @@ fail. % Continue looping until between/3 fails progress_bar_example. + diff --git a/.Attic/comp_werks/metta_prelude.pl b/.Attic/comp_werks/metta_prelude.pl index 8594b787f34..c8b994cebf7 100755 --- a/.Attic/comp_werks/metta_prelude.pl +++ b/.Attic/comp_werks/metta_prelude.pl @@ -240,3 +240,4 @@ % 1,264,919 inferences, 0.139 CPU in 0.140 seconds (99% CPU, 9074539 Lips) % (= metta_prelude.metta 0) + diff --git a/.Attic/comp_werks/metta_prelude_comp.pl b/.Attic/comp_werks/metta_prelude_comp.pl index 8594b787f34..c8b994cebf7 100755 --- a/.Attic/comp_werks/metta_prelude_comp.pl +++ b/.Attic/comp_werks/metta_prelude_comp.pl @@ -240,3 +240,4 @@ % 1,264,919 inferences, 0.139 CPU in 0.140 seconds (99% CPU, 9074539 Lips) % (= metta_prelude.metta 0) + diff --git a/.Attic/comp_werks/metta_printer.pl b/.Attic/comp_werks/metta_printer.pl index d54735d974a..b863f060863 100755 --- a/.Attic/comp_werks/metta_printer.pl +++ b/.Attic/comp_werks/metta_printer.pl @@ -342,3 +342,4 @@ % ?- should_quote('123.456'). % false. + diff --git a/.Attic/comp_werks/metta_python.pl b/.Attic/comp_werks/metta_python.pl index bebce642b50..ec035a04136 100755 --- a/.Attic/comp_werks/metta_python.pl +++ b/.Attic/comp_werks/metta_python.pl @@ -343,3 +343,4 @@ % py_initialize(, +Argv, +Options) + diff --git a/.Attic/comp_werks/metta_reader.pl b/.Attic/comp_werks/metta_reader.pl index 4e6cab458bb..9deae6fa8de 100755 --- a/.Attic/comp_werks/metta_reader.pl +++ b/.Attic/comp_werks/metta_reader.pl @@ -1616,3 +1616,4 @@ %:- fixup_exports. %:- endif. + diff --git a/.Attic/comp_werks/metta_rust.pl b/.Attic/comp_werks/metta_rust.pl index fcae66a45ba..951cbcadafb 100755 --- a/.Attic/comp_werks/metta_rust.pl +++ b/.Attic/comp_werks/metta_rust.pl @@ -3,3 +3,4 @@ :- ensure_loaded(metta_python). :- ensure_loaded(metta_interp). + diff --git a/.Attic/comp_werks/metta_server.pl b/.Attic/comp_werks/metta_server.pl index 434f52c79b4..bfa1453268c 100755 --- a/.Attic/comp_werks/metta_server.pl +++ b/.Attic/comp_werks/metta_server.pl @@ -284,3 +284,4 @@ % :- initialization(start_vspace_service). + diff --git a/.Attic/comp_werks/metta_space.pl b/.Attic/comp_werks/metta_space.pl index fbb15ffce23..dd7255678bf 100755 --- a/.Attic/comp_werks/metta_space.pl +++ b/.Attic/comp_werks/metta_space.pl @@ -570,3 +570,4 @@ symbol_contains(T,TT):- atom_contains(T,TT). */ + diff --git a/.Attic/comp_werks/metta_subst.pl b/.Attic/comp_werks/metta_subst.pl index 16a28a3a2b8..b513b7f7406 100755 --- a/.Attic/comp_werks/metta_subst.pl +++ b/.Attic/comp_werks/metta_subst.pl @@ -966,3 +966,4 @@ %setof_subst(Depth,Self,X,S):- setof(E,subst_args(Eq,RetType,Depth,Self,X,E),S)*->true;S=[]. + diff --git a/.Attic/comp_werks/metta_test_nars_1.pl b/.Attic/comp_werks/metta_test_nars_1.pl index 4a2f432f618..bd4be378baf 100755 --- a/.Attic/comp_werks/metta_test_nars_1.pl +++ b/.Attic/comp_werks/metta_test_nars_1.pl @@ -1750,3 +1750,4 @@ % 17,439,387 inferences, 1.561 CPU in 1.572 seconds (99% CPU, 11172049 Lips) + diff --git a/.Attic/comp_werks/metta_testing.pl b/.Attic/comp_werks/metta_testing.pl index 24a5d150cee..7b1c1b817a6 100755 --- a/.Attic/comp_werks/metta_testing.pl +++ b/.Attic/comp_werks/metta_testing.pl @@ -1175,3 +1175,4 @@ assert_eq!(result, bind_set![{object: expr!("baloon"), color: expr!("blue")}]); } + diff --git a/.Attic/comp_werks/metta_toplevel.pl b/.Attic/comp_werks/metta_toplevel.pl index 82b52d6e171..b9d1b863fcc 100755 --- a/.Attic/comp_werks/metta_toplevel.pl +++ b/.Attic/comp_werks/metta_toplevel.pl @@ -2153,3 +2153,4 @@ '$append'(String, _, Event), !. + diff --git a/.Attic/comp_werks/metta_types.pl b/.Attic/comp_werks/metta_types.pl index 85ac68b823f..8284014a284 100755 --- a/.Attic/comp_werks/metta_types.pl +++ b/.Attic/comp_werks/metta_types.pl @@ -1177,3 +1177,4 @@ (LenH > LenAcc -> longest_string_acc(T, H, Longest); longest_string_acc(T, Acc, Longest)). % + diff --git a/.Attic/comp_werks/metta_utils.pl b/.Attic/comp_werks/metta_utils.pl index 791765f8722..0a47ce803e8 100755 --- a/.Attic/comp_werks/metta_utils.pl +++ b/.Attic/comp_werks/metta_utils.pl @@ -2518,3 +2518,4 @@ ignore_numvars(Name='$VAR'(Name)). + diff --git a/.Attic/comp_werks/swi_flybase.pl b/.Attic/comp_werks/swi_flybase.pl index f31eca76b8a..4a4583d0f5c 100755 --- a/.Attic/comp_werks/swi_flybase.pl +++ b/.Attic/comp_werks/swi_flybase.pl @@ -1,2 +1,2 @@ -:- ensure_loaded(flybase_main). \ No newline at end of file +:- ensure_loaded(flybase_main). diff --git a/.Attic/comp_werks/swi_support.pl b/.Attic/comp_werks/swi_support.pl index ad7dae2216f..7041b13a866 100755 --- a/.Attic/comp_werks/swi_support.pl +++ b/.Attic/comp_werks/swi_support.pl @@ -161,3 +161,4 @@ add_history(_). :- endif. + diff --git a/.Attic/comp_werks2/metta_comp_templates.pl b/.Attic/comp_werks2/metta_comp_templates.pl index 6225be27bad..5e497c44cda 100755 --- a/.Attic/comp_werks2/metta_comp_templates.pl +++ b/.Attic/comp_werks2/metta_comp_templates.pl @@ -2174,3 +2174,4 @@ longest_string_acc(T, Acc, Longest) % Keep the current longest. ). + diff --git a/.Attic/comp_werks2/metta_compiler.pl b/.Attic/comp_werks2/metta_compiler.pl index fc4bbd8bd9c..43bc58e9f11 100755 --- a/.Attic/comp_werks2/metta_compiler.pl +++ b/.Attic/comp_werks2/metta_compiler.pl @@ -2502,3 +2502,4 @@ subst(Convert, ConvertFunction, Result, Converting), % Substitute AsFunction by Result in Convert f2p(Depth,HeadIs,RetType,RetResult, (AsPred, Converting), Converted). % Proceed with the conversion of the remaining terms + diff --git a/.Attic/comp_werks2/metta_compiler_eval_for.pl b/.Attic/comp_werks2/metta_compiler_eval_for.pl index eeef49fa2da..80a8a0ce881 100755 --- a/.Attic/comp_werks2/metta_compiler_eval_for.pl +++ b/.Attic/comp_werks2/metta_compiler_eval_for.pl @@ -1443,3 +1443,4 @@ subst(Convert, ConvertFunction, Result, Converting), % Substitute AsFunction by Result in Convert f2p(Depth,HeadIs,RetType,RetResult, (AsPred, Converting), Converted). % Proceed with the conversion of the remaining terms + diff --git a/.Attic/comp_werks2/metta_compiler_inlining.pl b/.Attic/comp_werks2/metta_compiler_inlining.pl index fd46cc605f1..dd703c3776b 100755 --- a/.Attic/comp_werks2/metta_compiler_inlining.pl +++ b/.Attic/comp_werks2/metta_compiler_inlining.pl @@ -2203,3 +2203,4 @@ into_eval_for(_Depth, _HeadIs, _Slf, _F, _Nth, PT, A, N, eval_for(b_1, PT, A, N)) :- nonvar(PT), PT \== 'Atom', !. into_eval_for(_Depth, _HeadIs, _Slf, _F, _Nth, _PT, A, A, true). + diff --git a/.Attic/comp_werks2/metta_compiler_werk.pl b/.Attic/comp_werks2/metta_compiler_werk.pl index 31d10a1e224..e9bc1f1817a 100755 --- a/.Attic/comp_werks2/metta_compiler_werk.pl +++ b/.Attic/comp_werks2/metta_compiler_werk.pl @@ -1523,3 +1523,4 @@ nl(Stream). */ + diff --git a/.Attic/comp_werks2/metta_convert.pl b/.Attic/comp_werks2/metta_convert.pl index f798859e3a9..1d7172df191 100755 --- a/.Attic/comp_werks2/metta_convert.pl +++ b/.Attic/comp_werks2/metta_convert.pl @@ -1741,3 +1741,4 @@ % Ensure that the MeTTa evaluation logic is loaded. :- ensure_loaded(metta_eval). + diff --git a/.Attic/comp_werks2/metta_corelib.pl b/.Attic/comp_werks2/metta_corelib.pl index 1c46738c1c5..e86dc260a71 100644 --- a/.Attic/comp_werks2/metta_corelib.pl +++ b/.Attic/comp_werks2/metta_corelib.pl @@ -4493,3 +4493,4 @@ + diff --git a/.Attic/comp_werks2/metta_debug.pl b/.Attic/comp_werks2/metta_debug.pl index 0301ec4be45..cfe94d15f3a 100755 --- a/.Attic/comp_werks2/metta_debug.pl +++ b/.Attic/comp_werks2/metta_debug.pl @@ -3710,3 +3710,4 @@ nth1(JustNo, Js, Justification), % Get the Justification at position JustNo. StepNo is 1 + integer(Index*10 - JustNo*10), % Calculate the step number. nth1(StepNo, Justification, Step). % Get the Step at position StepNo within the justification. + diff --git a/.Attic/comp_werks2/metta_eval.pl b/.Attic/comp_werks2/metta_eval.pl index cb8972e9b32..1c3c45e6701 100755 --- a/.Attic/comp_werks2/metta_eval.pl +++ b/.Attic/comp_werks2/metta_eval.pl @@ -2862,3 +2862,4 @@ XX = [H|NewArgs],Y=XX. eval_evals(_Eq,_Depth,_Self,_RetType,X,X):-!. + diff --git a/.Attic/comp_werks2/metta_interp.pl b/.Attic/comp_werks2/metta_interp.pl index bbc414de0c9..a798d4f030a 100755 --- a/.Attic/comp_werks2/metta_interp.pl +++ b/.Attic/comp_werks2/metta_interp.pl @@ -2238,3 +2238,4 @@ % Example query to find the likelihoods that satisfy the constraints %?- complex_relationship(L1, L2, L3). + diff --git a/.Attic/comp_werks2/metta_loader.pl b/.Attic/comp_werks2/metta_loader.pl index 5b666db10ff..f25c084a087 100755 --- a/.Attic/comp_werks2/metta_loader.pl +++ b/.Attic/comp_werks2/metta_loader.pl @@ -1407,3 +1407,4 @@ debug(lsp(main),"~q",[end_really_use_corelib_file(Dir,File)]). + diff --git a/.Attic/comp_werks2/metta_mizer.pl b/.Attic/comp_werks2/metta_mizer.pl index 13d9d5910e1..4c2bdbe8fa4 100755 --- a/.Attic/comp_werks2/metta_mizer.pl +++ b/.Attic/comp_werks2/metta_mizer.pl @@ -455,3 +455,4 @@ + diff --git a/.Attic/comp_werks2/metta_ontology.pfc.pl b/.Attic/comp_werks2/metta_ontology.pfc.pl index e063ae5b40d..342619ba997 100755 --- a/.Attic/comp_werks2/metta_ontology.pfc.pl +++ b/.Attic/comp_werks2/metta_ontology.pfc.pl @@ -477,3 +477,4 @@ properties('&corelib','format-args', [string_operations, qhelp("Generate a formatted string using a format specifier."), format_args]). properties('&corelib','flip', [random, qhelp("Return a random boolean."), random_boolean]). + diff --git a/.Attic/comp_werks2/metta_parser.pl b/.Attic/comp_werks2/metta_parser.pl index 380d8d6c97f..852df7cf6ff 100644 --- a/.Attic/comp_werks2/metta_parser.pl +++ b/.Attic/comp_werks2/metta_parser.pl @@ -1247,3 +1247,4 @@ % Ensure the program runs upon initialization. :- initialization(main_init, main). + diff --git a/.Attic/comp_werks2/metta_persists.pl b/.Attic/comp_werks2/metta_persists.pl index 35534d6cae8..993f529737b 100644 --- a/.Attic/comp_werks2/metta_persists.pl +++ b/.Attic/comp_werks2/metta_persists.pl @@ -86,3 +86,4 @@ shutdown_persistency. + diff --git a/.Attic/comp_werks2/metta_pfc_base.pl b/.Attic/comp_werks2/metta_pfc_base.pl index 01e6c882966..9810a58ea5d 100755 --- a/.Attic/comp_werks2/metta_pfc_base.pl +++ b/.Attic/comp_werks2/metta_pfc_base.pl @@ -4596,3 +4596,4 @@ nop((dumpST, pfcWarn("Couldn't retract ~p.", [X]))))), !, fail. + diff --git a/.Attic/comp_werks2/metta_pfc_support.pl b/.Attic/comp_werks2/metta_pfc_support.pl index 2f0153ca3f9..2cd8ac436f1 100755 --- a/.Attic/comp_werks2/metta_pfc_support.pl +++ b/.Attic/comp_werks2/metta_pfc_support.pl @@ -1720,3 +1720,4 @@ % @arg G The goal to execute. % fwithout_running(G):- (t_l:mpred_run_paused -> G ; locally_tl(mpred_run_pause,G)). + diff --git a/.Attic/comp_werks2/metta_printer.pl b/.Attic/comp_werks2/metta_printer.pl index 2492c6a47fa..f2aac28352d 100755 --- a/.Attic/comp_werks2/metta_printer.pl +++ b/.Attic/comp_werks2/metta_printer.pl @@ -396,3 +396,4 @@ :- ensure_loaded(metta_utils). :- ensure_loaded(metta_printer). :- ensure_loaded(metta_eval). + diff --git a/.Attic/comp_werks2/metta_python.pl b/.Attic/comp_werks2/metta_python.pl index fe5657c1466..8738b179578 100755 --- a/.Attic/comp_werks2/metta_python.pl +++ b/.Attic/comp_werks2/metta_python.pl @@ -2529,3 +2529,4 @@ % no more vars left to replace subst_each_var(_,TermIO,TermIO). + diff --git a/.Attic/comp_werks2/metta_repl.pl b/.Attic/comp_werks2/metta_repl.pl index 22cd35be215..e26f8bca8c2 100755 --- a/.Attic/comp_werks2/metta_repl.pl +++ b/.Attic/comp_werks2/metta_repl.pl @@ -2286,3 +2286,4 @@ writeln('(I) info - Show information about the current state.'), !. + diff --git a/.Attic/comp_werks2/metta_server.pl b/.Attic/comp_werks2/metta_server.pl index 5c9ec1b427a..87715f6152b 100755 --- a/.Attic/comp_werks2/metta_server.pl +++ b/.Attic/comp_werks2/metta_server.pl @@ -1146,3 +1146,4 @@ % Automatically start the server at initialization, ensuring only one server is started :- initialization(start_dbg_telnet). + diff --git a/.Attic/comp_werks2/metta_space.pl b/.Attic/comp_werks2/metta_space.pl index 33e84712b57..c1ae5f87bbb 100755 --- a/.Attic/comp_werks2/metta_space.pl +++ b/.Attic/comp_werks2/metta_space.pl @@ -1109,3 +1109,4 @@ name_the_var(N=V):- ignore((atom_concat('_',NV,N),V='$VAR'(NV))). alpha_unify(What,What0):- What=@=What0,(nonvar(What)->What=What0;What==What0). + diff --git a/.Attic/comp_werks2/metta_subst.pl b/.Attic/comp_werks2/metta_subst.pl index 64c6cfc504f..59b13682fd4 100755 --- a/.Attic/comp_werks2/metta_subst.pl +++ b/.Attic/comp_werks2/metta_subst.pl @@ -930,3 +930,4 @@ %setof_subst(Depth,Self,X,S):- setof(E,subst_args(Eq,RetType,Depth,Self,X,E),S)*->true;S=[]. + diff --git a/.Attic/comp_werks2/metta_testing.pl b/.Attic/comp_werks2/metta_testing.pl index d610d4cffa2..dcdd3ca8aab 100755 --- a/.Attic/comp_werks2/metta_testing.pl +++ b/.Attic/comp_werks2/metta_testing.pl @@ -1434,3 +1434,4 @@ assert_eq!(result, bind_set![{object: expr!("baloon"), color: expr!("blue")}]); } + diff --git a/.Attic/comp_werks2/metta_threads.pl b/.Attic/comp_werks2/metta_threads.pl index b0ad4038c61..9923fec2c27 100755 --- a/.Attic/comp_werks2/metta_threads.pl +++ b/.Attic/comp_werks2/metta_threads.pl @@ -189,3 +189,4 @@ await(lazy_thunk(Goal)) :- call(Goal). + diff --git a/.Attic/comp_werks2/metta_transpile.pl b/.Attic/comp_werks2/metta_transpile.pl index b986502bc6e..fa46d6b9530 100644 --- a/.Attic/comp_werks2/metta_transpile.pl +++ b/.Attic/comp_werks2/metta_transpile.pl @@ -2073,3 +2073,4 @@ subst(Convert, ConvertFunction, Result, Converting), % Substitute AsFunction by Result in Convert f2p(Depth,HeadIs,RetType,RetResult, (AsPred, Converting), Converted). % Proceed with the conversion of the remaining terms + diff --git a/.Attic/comp_werks2/metta_types.pl b/.Attic/comp_werks2/metta_types.pl index 02c0b5ceeb3..6c38fd87c7f 100755 --- a/.Attic/comp_werks2/metta_types.pl +++ b/.Attic/comp_werks2/metta_types.pl @@ -2219,3 +2219,4 @@ %:- load_pfc_file('metta_ontology.pl.pfc'). + diff --git a/.Attic/comp_werks2/metta_utils.pl b/.Attic/comp_werks2/metta_utils.pl index 63c331abc29..5099c878dfb 100755 --- a/.Attic/comp_werks2/metta_utils.pl +++ b/.Attic/comp_werks2/metta_utils.pl @@ -5428,3 +5428,4 @@ ignore_numvars(Name='$VAR'(Name)). + diff --git a/.Attic/comp_werks2/swi_support.pl b/.Attic/comp_werks2/swi_support.pl index 258ff0cc7a4..bd2f0efd278 100755 --- a/.Attic/comp_werks2/swi_support.pl +++ b/.Attic/comp_werks2/swi_support.pl @@ -869,3 +869,4 @@ add_history(_). :- endif. + diff --git a/.Attic/development/flybase_convert.pl b/.Attic/development/flybase_convert.pl index 4ce701549e3..a47c8b333e3 100755 --- a/.Attic/development/flybase_convert.pl +++ b/.Attic/development/flybase_convert.pl @@ -8,3 +8,4 @@ %:- ensure_loaded(swi_support). + diff --git a/.Attic/development/flybase_induced_types.pl b/.Attic/development/flybase_induced_types.pl index 09a771ee19d..83af0993af1 100755 --- a/.Attic/development/flybase_induced_types.pl +++ b/.Attic/development/flybase_induced_types.pl @@ -1645,3 +1645,4 @@ table_n_type(synonym, 4, current_fullname, _). table_n_type(synonym, 5, fullname_synonym, _). table_n_type(synonym, 6, symbol_synonym, _). + diff --git a/.Attic/development/flybase_json.pl b/.Attic/development/flybase_json.pl index bc335bb313b..a18e876ccf0 100755 --- a/.Attic/development/flybase_json.pl +++ b/.Attic/development/flybase_json.pl @@ -638,3 +638,4 @@ + diff --git a/.Attic/development/flybase_learn.pl b/.Attic/development/flybase_learn.pl index 71171bbbe17..5a500ce3012 100755 --- a/.Attic/development/flybase_learn.pl +++ b/.Attic/development/flybase_learn.pl @@ -2280,3 +2280,4 @@ fb_tsv_pred_stats('less-frequent', transposon_sequence_set, [9, [#, [#, 'ID=FBte0001033;name=Dmel\\mariner2;source=?;type=DNA;subtype=Tc1-Mariner', 1], [#, 'ID=FBte0000773;name=Dana\\Tom;source=Z24451;type=?;subtype=?', 1], [#, 'ID=FBte0000591;name=Dmel\\invader6;source=NT_033778;type=LTR;subtype=Gypsy', 1], [#, 'Ontology_term=SO:0000316;db_xref=FLYBASE:FBgnXXXXXXX;name=Dmel\\gypsy12\\pol;translation=KKCKASLDYISSIPTGPRDPRPFLPMRLLNCLVYGLLDSGASISCIGGGVVQAAMENEKFKSLIGEAATADGNSQRIVGLLKIEVEYGDIKKLLKLYVVPSLKQDLYLGIDFWKLYDLLPANLKIAEILSPEPNQQTVVDQHELCEGDKAKLANVINCFPSFSQEGLGKTNLVSHSIDVGTARPVKQRHFPVSPAVEKAMYAEIDRMLRLGVIGESESAWSSPIVMVTKPGKVRICLECRKVNSFTEMDAYPLPQINGILSRLPRAEYISSLDLKDAYWQVPLDPKSRDKTAFTVPGRPLYQFKVMPFGLCNATSTMSRLMDKVVPAHLRNEVFIYLDDLLIVSSCFESHLNVLRELALQIKRAGLTLNVAKSHFCMRRVRYLGHIIGDGGIRTDPEKVSAITDFPLPKSLKSLRSFMGLCGWYRKFVANFATLSAPLTDLMTTKRKFLLTKEAIEAFSKLKECLSKAPVLCSPDFAKPFAIHCDASKSGVGAVLVQVSEEGDERPIAFVSKKLNKAQRNYTVTEQECLAAIVALKNFRAYVEGLPFKIITDHASLKWLMSNHDLNSRLARWALALQRFKFEIEHRKGSLNVVPDTLSRVNEEIVAAMDLQEDLIVDFDSEFFQSGDYVKLVETVKENTSNFSDLKVESGFLYRKAEHLTGERMHDEYAWKLWVPKELVSKILARAHDSPLAAHGGIHKTLERIRRYYFWPGLVSDVRAYISACEVCKSTKSQNFTLRPPLGKAPESQRFFQRLFIDFLGPYPRSRSGNIGIFIVLDHFSKYVFLKPVKKIDSSVVIKYLEDELFMTFGVPEVILSDNGSQFRARTFQRLIRYGVKHTLTAVHSPQANASERVNRSVIAAIRAYLRLDQKDWDEFLSRICCALRSAVHSSIGTSPYYMVFGQHMITSGSTYSLIRRLNLLDDRSLKFDRHESFEIMRKQAVDQMRNKHNENEKRCNIRSRVVSFVEGQEVYREISSQAVSKPVTTPSLDRRS', 1], [#, 'Ontology_term=SO:0000316;db_xref=FLYBASE:FBgnXXXXXXX;name=Dmel\\gypsy12\\gag;translation=MGLDRSPTRKSPSVSNPVCKLCAAEISTQDLYVTTCHHEFYRECIGNHFKKSEICSRCKLTCRPPAEATERVGRETRSKTKNRRNSRRGSFDISQRCGEKLAVKLKIAATVDGGPSTSASGANANEASSSAVSANAALLAMERRLLATLSEKMADLVQNAITSSMQRIMPTPSPAVVVTASEMSADHPNAYERQYLASPNPVPSPRSASSDLFDRPDKVVHILNGWKIKYSGVGVSVDNFIYRVEAVTRQTLNGNFNLLCRNISVLFEGKANDFFWRYHKFDRVATMGTERFCTALRLQFRQSRDDGDIEELIRNTKQKPNETFDSFYDTVSELVDQLEQPWTANKLVRVLRNNLRPEIRHEILNLDVRTVSELREICKRREAFLADVRRCSSYAKDTPFKREISEVCHESEDEVRSTYEAENDIESFSLVCWNCRIEGHRYQECIAERRVFCYGCGAANTYKPSCRKCSKNFKVGMSKLPVKPKTSNAARNQSTMTDQ', 1], [#, 'ID=FBte0001136;name=Dmel\\gypsy12;source=AE003789;type=LTR;subtype=Gypsy', 1], [#, 'ID=FBte0001041;name=Dmel\\gypsy11;source=?;type=LTR;subtype=Gypsy', 1]]]). :- forall(fb_tsv_pred_stats(P,A1,Rest), (G=..[P,A1|Rest],assert(G))). + diff --git a/.Attic/development/flybase_main.pl b/.Attic/development/flybase_main.pl index 37877115663..78d430e1db4 100755 --- a/.Attic/development/flybase_main.pl +++ b/.Attic/development/flybase_main.pl @@ -3281,3 +3281,4 @@ %datalog_to_termlog:- datalog_to_termlog('whole_flybase.datalog'). + diff --git a/.Attic/development/flybase_obo.pl b/.Attic/development/flybase_obo.pl index b120df00bf7..2786768808f 100755 --- a/.Attic/development/flybase_obo.pl +++ b/.Attic/development/flybase_obo.pl @@ -292,3 +292,4 @@ simplify_obo_arg(I,O):- atom_number(I,O),!. + diff --git a/.Attic/development/flybase_scheme.pl b/.Attic/development/flybase_scheme.pl index 24c261a3d50..4870b0bffd4 100755 --- a/.Attic/development/flybase_scheme.pl +++ b/.Attic/development/flybase_scheme.pl @@ -2714,3 +2714,4 @@ 'information_schema.columns'(flybase,public,expressionprop,expressionprop_id,1,'nextval(\'expressionprop_expressionprop_id_seq\'::regclass)','NO',integer,'','',32,2,0,'','','','','','','','','','','','',flybase,pg_catalog,int4,'','','','',1,'NO','NO','','','','','','NO','NEVER','','YES'). 'information_schema.columns'(flybase,pg_catalog,pg_statistic_ext,stxnamespace,4,'','NO',oid,'','','','','','','','','','','','','','','','','',flybase,pg_catalog,oid,'','','','',4,'NO','NO','','','','','','NO','NEVER','','YES'). 'information_schema.columns'(flybase,public,library_expression,pub_id,4,'','NO',integer,'','',32,2,0,'','','','','','','','','','','','',flybase,pg_catalog,int4,'','','','',4,'NO','NO','','','','','','NO','NEVER','','YES'). + diff --git a/.Attic/development/metta_compiler.pl b/.Attic/development/metta_compiler.pl index 248729be769..e94502d6fb3 100755 --- a/.Attic/development/metta_compiler.pl +++ b/.Attic/development/metta_compiler.pl @@ -2078,3 +2078,4 @@ subst(Convert, ConvertFunction, Result, Converting), % Substitute AsFunction by Result in Convert f2p(Depth,HeadIs,RetType,RetResult, (AsPred, Converting), Converted). % Proceed with the conversion of the remaining terms + diff --git a/.Attic/development/metta_convert.pl b/.Attic/development/metta_convert.pl index 69774daf424..bb6e150478e 100755 --- a/.Attic/development/metta_convert.pl +++ b/.Attic/development/metta_convert.pl @@ -761,3 +761,4 @@ + diff --git a/.Attic/development/metta_data.pl b/.Attic/development/metta_data.pl index 357f6811271..acc69e93e16 100755 --- a/.Attic/development/metta_data.pl +++ b/.Attic/development/metta_data.pl @@ -3662,3 +3662,4 @@ fwithout_running(G):- (t_l:mpred_run_paused->G;locally_tl(mpred_run_pause,G)). + diff --git a/.Attic/development/metta_debug.pl b/.Attic/development/metta_debug.pl index 9e8257acb1e..f3dab220528 100755 --- a/.Attic/development/metta_debug.pl +++ b/.Attic/development/metta_debug.pl @@ -295,3 +295,4 @@ % (Ret\=@=retval(fail)->true;(fail,trace,(call(P4,D1,Self,X,Y)),fail)). + diff --git a/.Attic/development/metta_eval.pl b/.Attic/development/metta_eval.pl index cd70e02d959..ada29dd71b0 100755 --- a/.Attic/development/metta_eval.pl +++ b/.Attic/development/metta_eval.pl @@ -2052,3 +2052,4 @@ XX = [H|NewArgs],Y=XX. eval_evals(_Eq,_Depth,_Self,_RetType,X,X):-!. + diff --git a/.Attic/development/metta_interp.pl b/.Attic/development/metta_interp.pl index 9d593eca70f..656ad122a51 100755 --- a/.Attic/development/metta_interp.pl +++ b/.Attic/development/metta_interp.pl @@ -2287,3 +2287,4 @@ % Example query to find the likelihoods that satisfy the constraints %?- complex_relationship(L1, L2, L3). + diff --git a/.Attic/development/metta_loader.pl b/.Attic/development/metta_loader.pl index 506333640c9..19d9a7525c9 100755 --- a/.Attic/development/metta_loader.pl +++ b/.Attic/development/metta_loader.pl @@ -936,3 +936,4 @@ fail. % Continue looping until between/3 fails progress_bar_example. + diff --git a/.Attic/development/metta_prelude_comp.pl b/.Attic/development/metta_prelude_comp.pl index 8594b787f34..c8b994cebf7 100755 --- a/.Attic/development/metta_prelude_comp.pl +++ b/.Attic/development/metta_prelude_comp.pl @@ -240,3 +240,4 @@ % 1,264,919 inferences, 0.139 CPU in 0.140 seconds (99% CPU, 9074539 Lips) % (= metta_prelude.metta 0) + diff --git a/.Attic/development/metta_printer.pl b/.Attic/development/metta_printer.pl index c2f07a2c402..200cb201e60 100755 --- a/.Attic/development/metta_printer.pl +++ b/.Attic/development/metta_printer.pl @@ -384,3 +384,4 @@ :- ensure_loaded(metta_utils). :- ensure_loaded(metta_printer). :- ensure_loaded(metta_eval). + diff --git a/.Attic/development/metta_python.pl b/.Attic/development/metta_python.pl index 5549565409f..567d9e518d8 100755 --- a/.Attic/development/metta_python.pl +++ b/.Attic/development/metta_python.pl @@ -502,3 +502,4 @@ % py_initialize(, +Argv, +Options) + diff --git a/.Attic/development/metta_reader.pl b/.Attic/development/metta_reader.pl index 69021457d4b..2473e2e41e2 100755 --- a/.Attic/development/metta_reader.pl +++ b/.Attic/development/metta_reader.pl @@ -1709,3 +1709,4 @@ %:- fixup_exports. %:- endif. + diff --git a/.Attic/development/metta_rust.pl b/.Attic/development/metta_rust.pl index fcae66a45ba..951cbcadafb 100755 --- a/.Attic/development/metta_rust.pl +++ b/.Attic/development/metta_rust.pl @@ -3,3 +3,4 @@ :- ensure_loaded(metta_python). :- ensure_loaded(metta_interp). + diff --git a/.Attic/development/metta_server.pl b/.Attic/development/metta_server.pl index 343d2a5afcd..5fdf8c939f8 100755 --- a/.Attic/development/metta_server.pl +++ b/.Attic/development/metta_server.pl @@ -336,3 +336,4 @@ % :- initialization(start_vspace_service). + diff --git a/.Attic/development/metta_space.pl b/.Attic/development/metta_space.pl index aa92f88048c..e54921b0930 100755 --- a/.Attic/development/metta_space.pl +++ b/.Attic/development/metta_space.pl @@ -659,3 +659,4 @@ symbol_contains(T,TT):- atom_contains(T,TT). */ + diff --git a/.Attic/development/metta_subst.pl b/.Attic/development/metta_subst.pl index e714448a72a..c7656f60d38 100755 --- a/.Attic/development/metta_subst.pl +++ b/.Attic/development/metta_subst.pl @@ -928,3 +928,4 @@ %setof_subst(Depth,Self,X,S):- setof(E,subst_args(Eq,RetType,Depth,Self,X,E),S)*->true;S=[]. + diff --git a/.Attic/development/metta_test_nars_1.pl b/.Attic/development/metta_test_nars_1.pl index 9199e2d49e0..0ae896dcd58 100755 --- a/.Attic/development/metta_test_nars_1.pl +++ b/.Attic/development/metta_test_nars_1.pl @@ -1750,3 +1750,4 @@ % 17,439,387 inferences, 1.561 CPU in 1.572 seconds (99% CPU, 11172049 Lips) + diff --git a/.Attic/development/metta_testing.pl b/.Attic/development/metta_testing.pl index 15ad38d0cb2..38ceb830118 100755 --- a/.Attic/development/metta_testing.pl +++ b/.Attic/development/metta_testing.pl @@ -1179,3 +1179,4 @@ assert_eq!(result, bind_set![{object: expr!("baloon"), color: expr!("blue")}]); } + diff --git a/.Attic/development/metta_toplevel.pl b/.Attic/development/metta_toplevel.pl index 83f750583e3..6cad71a019e 100755 --- a/.Attic/development/metta_toplevel.pl +++ b/.Attic/development/metta_toplevel.pl @@ -2153,3 +2153,4 @@ '$append'(String, _, Event), !. + diff --git a/.Attic/development/metta_types.pl b/.Attic/development/metta_types.pl index 3c8c9aa99bb..f81033729f2 100755 --- a/.Attic/development/metta_types.pl +++ b/.Attic/development/metta_types.pl @@ -532,3 +532,4 @@ %:- load_pfc_file('metta_ontology.pl.pfc'). + diff --git a/.Attic/development/metta_utils.pl b/.Attic/development/metta_utils.pl index 42b8351364e..404a0dcf558 100755 --- a/.Attic/development/metta_utils.pl +++ b/.Attic/development/metta_utils.pl @@ -2549,3 +2549,4 @@ ignore_numvars(Name='$VAR'(Name)). + diff --git a/.Attic/development/swi_flybase.pl b/.Attic/development/swi_flybase.pl index f31eca76b8a..4a4583d0f5c 100755 --- a/.Attic/development/swi_flybase.pl +++ b/.Attic/development/swi_flybase.pl @@ -1,2 +1,2 @@ -:- ensure_loaded(flybase_main). \ No newline at end of file +:- ensure_loaded(flybase_main). diff --git a/.Attic/development/swi_support.pl b/.Attic/development/swi_support.pl index 7f20b228581..725fedc1489 100755 --- a/.Attic/development/swi_support.pl +++ b/.Attic/development/swi_support.pl @@ -183,3 +183,4 @@ add_history(_). :- endif. + diff --git a/.Attic/main/metta_comp_templates.pl b/.Attic/main/metta_comp_templates.pl index f089052ec52..cb6c96f8c31 100755 --- a/.Attic/main/metta_comp_templates.pl +++ b/.Attic/main/metta_comp_templates.pl @@ -705,3 +705,4 @@ % + diff --git a/.Attic/main/metta_compiler.pl b/.Attic/main/metta_compiler.pl index 6abf1abb17a..c0f1db93a8e 100755 --- a/.Attic/main/metta_compiler.pl +++ b/.Attic/main/metta_compiler.pl @@ -1432,3 +1432,4 @@ subst(Convert, ConvertFunction, Result, Converting), % Substitute AsFunction by Result in Convert f2p(Depth,HeadIs,RetType,RetResult, (AsPred, Converting), Converted). % Proceed with the conversion of the remaining terms + diff --git a/.Attic/main/metta_compiler_inlining.pl b/.Attic/main/metta_compiler_inlining.pl index 851ad26246c..0fd4698ebc7 100755 --- a/.Attic/main/metta_compiler_inlining.pl +++ b/.Attic/main/metta_compiler_inlining.pl @@ -979,3 +979,4 @@ into_eval_for(_Depth,_HeadIs,_Slf,_F,_Nth,PT,A,N,eval_for(b_1,PT,A,N)):- nonvar(PT),PT\=='Atom', !. into_eval_for(_Depth,_HeadIs,_Slf,_F,_Nth,_PT,A,A,true). + diff --git a/.Attic/main/metta_convert.pl b/.Attic/main/metta_convert.pl index c7c65ab08e0..b5a0b87806d 100755 --- a/.Attic/main/metta_convert.pl +++ b/.Attic/main/metta_convert.pl @@ -769,3 +769,4 @@ + diff --git a/.Attic/main/metta_corelib.pl b/.Attic/main/metta_corelib.pl index 93b4cf387d6..e84d8071af2 100755 --- a/.Attic/main/metta_corelib.pl +++ b/.Attic/main/metta_corelib.pl @@ -269,3 +269,4 @@ metta_atom_asserted_deduced('&corelib', Term):- metta_atom_corelib_types(Term). + diff --git a/.Attic/main/metta_data.pl b/.Attic/main/metta_data.pl index de0ac7e0ad3..75aea77f870 100755 --- a/.Attic/main/metta_data.pl +++ b/.Attic/main/metta_data.pl @@ -53,3 +53,4 @@ :- ensure_loaded(metta_pfc_base). :- ensure_loaded(metta_pfc_support). + diff --git a/.Attic/main/metta_debug.pl b/.Attic/main/metta_debug.pl index d689b3fa00f..27a05b2308c 100755 --- a/.Attic/main/metta_debug.pl +++ b/.Attic/main/metta_debug.pl @@ -1713,3 +1713,4 @@ + diff --git a/.Attic/main/metta_eval.pl b/.Attic/main/metta_eval.pl index a1ff4852d92..68c94599afd 100755 --- a/.Attic/main/metta_eval.pl +++ b/.Attic/main/metta_eval.pl @@ -2316,3 +2316,4 @@ XX = [H|NewArgs],Y=XX. eval_evals(_Eq,_Depth,_Self,_RetType,X,X):-!. + diff --git a/.Attic/main/metta_interp.pl b/.Attic/main/metta_interp.pl index eed638c1e65..fce33d0f35f 100755 --- a/.Attic/main/metta_interp.pl +++ b/.Attic/main/metta_interp.pl @@ -1801,3 +1801,4 @@ % Example query to find the likelihoods that satisfy the constraints %?- complex_relationship(L1, L2, L3). + diff --git a/.Attic/main/metta_loader.pl b/.Attic/main/metta_loader.pl index 94f1b7b2a59..257f6f4af31 100755 --- a/.Attic/main/metta_loader.pl +++ b/.Attic/main/metta_loader.pl @@ -1117,3 +1117,4 @@ fail. % Continue looping until between/3 fails progress_bar_example. + diff --git a/.Attic/main/metta_mizer.pl b/.Attic/main/metta_mizer.pl index e9dde743a4a..78562f3633c 100755 --- a/.Attic/main/metta_mizer.pl +++ b/.Attic/main/metta_mizer.pl @@ -337,3 +337,4 @@ + diff --git a/.Attic/main/metta_ontology.pfc.pl b/.Attic/main/metta_ontology.pfc.pl index 16c7d704e26..cd1c0e2c9f5 100755 --- a/.Attic/main/metta_ontology.pfc.pl +++ b/.Attic/main/metta_ontology.pfc.pl @@ -459,3 +459,4 @@ %properties('&corelib','collapseCardinality', [data_structures, qhelp("Collapses structures with cardinality consideration."), manipulation, cardinality]). + diff --git a/.Attic/main/metta_ontology_level_1.pfc.pl b/.Attic/main/metta_ontology_level_1.pfc.pl index 83e12e977ee..7813d4745e7 100755 --- a/.Attic/main/metta_ontology_level_1.pfc.pl +++ b/.Attic/main/metta_ontology_level_1.pfc.pl @@ -386,3 +386,4 @@ :- fixup_exports. + diff --git a/.Attic/main/metta_ontology_level_2.pfc.pl b/.Attic/main/metta_ontology_level_2.pfc.pl index 4069d286fb3..c3dd7640f83 100755 --- a/.Attic/main/metta_ontology_level_2.pfc.pl +++ b/.Attic/main/metta_ontology_level_2.pfc.pl @@ -249,3 +249,4 @@ property('S', 'Deterministic'). property('Z', 'Deterministic'). + diff --git a/.Attic/main/metta_pfc_base.pl b/.Attic/main/metta_pfc_base.pl index aad619a51fe..e17a94838c1 100755 --- a/.Attic/main/metta_pfc_base.pl +++ b/.Attic/main/metta_pfc_base.pl @@ -1809,3 +1809,4 @@ !,fail. + diff --git a/.Attic/main/metta_pfc_support.pl b/.Attic/main/metta_pfc_support.pl index c80d81a3716..aedad1cbf80 100755 --- a/.Attic/main/metta_pfc_support.pl +++ b/.Attic/main/metta_pfc_support.pl @@ -660,3 +660,4 @@ fwithout_running(G):- (t_l:mpred_run_paused->G;locally_tl(mpred_run_pause,G)). + diff --git a/.Attic/main/metta_prelude_comp.pl b/.Attic/main/metta_prelude_comp.pl index 8594b787f34..c8b994cebf7 100755 --- a/.Attic/main/metta_prelude_comp.pl +++ b/.Attic/main/metta_prelude_comp.pl @@ -240,3 +240,4 @@ % 1,264,919 inferences, 0.139 CPU in 0.140 seconds (99% CPU, 9074539 Lips) % (= metta_prelude.metta 0) + diff --git a/.Attic/main/metta_printer.pl b/.Attic/main/metta_printer.pl index 9ebd627caa7..45a4057a8da 100755 --- a/.Attic/main/metta_printer.pl +++ b/.Attic/main/metta_printer.pl @@ -383,3 +383,4 @@ :- ensure_loaded(metta_utils). :- ensure_loaded(metta_printer). :- ensure_loaded(metta_eval). + diff --git a/.Attic/main/metta_python.pl b/.Attic/main/metta_python.pl index 7278d3804e1..ae6a157fc6d 100755 --- a/.Attic/main/metta_python.pl +++ b/.Attic/main/metta_python.pl @@ -488,3 +488,4 @@ % py_initialize(, +Argv, +Options) + diff --git a/.Attic/main/metta_reader.pl b/.Attic/main/metta_reader.pl index 62fe47c60e9..1f42ba76b4e 100755 --- a/.Attic/main/metta_reader.pl +++ b/.Attic/main/metta_reader.pl @@ -1709,3 +1709,4 @@ %:- fixup_exports. %:- endif. + diff --git a/.Attic/main/metta_repl.pl b/.Attic/main/metta_repl.pl index e2a494c0f4d..1e3bdd44272 100755 --- a/.Attic/main/metta_repl.pl +++ b/.Attic/main/metta_repl.pl @@ -628,3 +628,4 @@ + diff --git a/.Attic/main/metta_rust.pl b/.Attic/main/metta_rust.pl index fcae66a45ba..951cbcadafb 100755 --- a/.Attic/main/metta_rust.pl +++ b/.Attic/main/metta_rust.pl @@ -3,3 +3,4 @@ :- ensure_loaded(metta_python). :- ensure_loaded(metta_interp). + diff --git a/.Attic/main/metta_server.pl b/.Attic/main/metta_server.pl index 343d2a5afcd..5fdf8c939f8 100755 --- a/.Attic/main/metta_server.pl +++ b/.Attic/main/metta_server.pl @@ -336,3 +336,4 @@ % :- initialization(start_vspace_service). + diff --git a/.Attic/main/metta_space.pl b/.Attic/main/metta_space.pl index fc96c1a295b..04480b69160 100755 --- a/.Attic/main/metta_space.pl +++ b/.Attic/main/metta_space.pl @@ -667,3 +667,4 @@ symbol_contains(T,TT):- atom_contains(T,TT). */ + diff --git a/.Attic/main/metta_subst.pl b/.Attic/main/metta_subst.pl index 16acfc2a29d..341f9c0fbd6 100755 --- a/.Attic/main/metta_subst.pl +++ b/.Attic/main/metta_subst.pl @@ -929,3 +929,4 @@ %setof_subst(Depth,Self,X,S):- setof(E,subst_args(Eq,RetType,Depth,Self,X,E),S)*->true;S=[]. + diff --git a/.Attic/main/metta_test_nars_1.pl b/.Attic/main/metta_test_nars_1.pl index 9199e2d49e0..0ae896dcd58 100755 --- a/.Attic/main/metta_test_nars_1.pl +++ b/.Attic/main/metta_test_nars_1.pl @@ -1750,3 +1750,4 @@ % 17,439,387 inferences, 1.561 CPU in 1.572 seconds (99% CPU, 11172049 Lips) + diff --git a/.Attic/main/metta_testing.pl b/.Attic/main/metta_testing.pl index 7d939258959..534ef3cfcc2 100755 --- a/.Attic/main/metta_testing.pl +++ b/.Attic/main/metta_testing.pl @@ -1196,3 +1196,4 @@ assert_eq!(result, bind_set![{object: expr!("baloon"), color: expr!("blue")}]); } + diff --git a/.Attic/main/metta_threads.pl b/.Attic/main/metta_threads.pl index 7d028e7ea7c..e2eceb0a696 100644 --- a/.Attic/main/metta_threads.pl +++ b/.Attic/main/metta_threads.pl @@ -185,3 +185,4 @@ await(lazy_thunk(Goal)) :- call(Goal). + diff --git a/.Attic/main/metta_toplevel.pl b/.Attic/main/metta_toplevel.pl index 93c5a8f7005..7bd6b5951fa 100755 --- a/.Attic/main/metta_toplevel.pl +++ b/.Attic/main/metta_toplevel.pl @@ -2153,3 +2153,4 @@ '$append'(String, _, Event), !. + diff --git a/.Attic/main/metta_types.pl b/.Attic/main/metta_types.pl index 8dbfbeaa912..d66c26e9360 100755 --- a/.Attic/main/metta_types.pl +++ b/.Attic/main/metta_types.pl @@ -779,3 +779,4 @@ %:- load_pfc_file('metta_ontology.pl.pfc'). + diff --git a/.Attic/main/metta_utils.pl b/.Attic/main/metta_utils.pl index 550c60f3e58..22462ee6acc 100755 --- a/.Attic/main/metta_utils.pl +++ b/.Attic/main/metta_utils.pl @@ -2559,3 +2559,4 @@ ignore_numvars(Name='$VAR'(Name)). + diff --git a/.Attic/main/swi_flybase.pl b/.Attic/main/swi_flybase.pl index f31eca76b8a..4a4583d0f5c 100755 --- a/.Attic/main/swi_flybase.pl +++ b/.Attic/main/swi_flybase.pl @@ -1,2 +1,2 @@ -:- ensure_loaded(flybase_main). \ No newline at end of file +:- ensure_loaded(flybase_main). diff --git a/.Attic/main/swi_support.pl b/.Attic/main/swi_support.pl index ec4d8abb06f..e389307f16e 100755 --- a/.Attic/main/swi_support.pl +++ b/.Attic/main/swi_support.pl @@ -188,3 +188,4 @@ add_history(_). :- endif. + diff --git a/.Attic/metta_lang/metta_comp_templates.pl b/.Attic/metta_lang/metta_comp_templates.pl index 6225be27bad..5e497c44cda 100755 --- a/.Attic/metta_lang/metta_comp_templates.pl +++ b/.Attic/metta_lang/metta_comp_templates.pl @@ -2174,3 +2174,4 @@ longest_string_acc(T, Acc, Longest) % Keep the current longest. ). + diff --git a/.Attic/metta_lang/metta_compiler.pl b/.Attic/metta_lang/metta_compiler.pl index 3bf992241ac..8c2db2549ad 100755 --- a/.Attic/metta_lang/metta_compiler.pl +++ b/.Attic/metta_lang/metta_compiler.pl @@ -1973,3 +1973,4 @@ + diff --git a/.Attic/metta_lang/metta_compiler_lib.pl b/.Attic/metta_lang/metta_compiler_lib.pl index 59f6cf8c093..b85b79e75c4 100644 --- a/.Attic/metta_lang/metta_compiler_lib.pl +++ b/.Attic/metta_lang/metta_compiler_lib.pl @@ -47,3 +47,4 @@ mc__empty(_):-!,fail. + diff --git a/.Attic/metta_lang/metta_convert.pl b/.Attic/metta_lang/metta_convert.pl index 86044f23c2b..8b5ad7d124c 100755 --- a/.Attic/metta_lang/metta_convert.pl +++ b/.Attic/metta_lang/metta_convert.pl @@ -1741,3 +1741,4 @@ % Ensure that the MeTTa evaluation logic is loaded. :- ensure_loaded(metta_eval). + diff --git a/.Attic/metta_lang/metta_corelib.pl b/.Attic/metta_lang/metta_corelib.pl index 1c46738c1c5..e86dc260a71 100644 --- a/.Attic/metta_lang/metta_corelib.pl +++ b/.Attic/metta_lang/metta_corelib.pl @@ -4493,3 +4493,4 @@ + diff --git a/.Attic/metta_lang/metta_debug.pl b/.Attic/metta_lang/metta_debug.pl index 5466c20c177..8cb7d90d6ba 100755 --- a/.Attic/metta_lang/metta_debug.pl +++ b/.Attic/metta_lang/metta_debug.pl @@ -3775,3 +3775,4 @@ nth1(JustNo, Js, Justification), % Get the Justification at position JustNo. StepNo is 1 + integer(Index*10 - JustNo*10), % Calculate the step number. nth1(StepNo, Justification, Step). % Get the Step at position StepNo within the justification. + diff --git a/.Attic/metta_lang/metta_eval.pl b/.Attic/metta_lang/metta_eval.pl index 3b93675b924..4db7aecf18c 100755 --- a/.Attic/metta_lang/metta_eval.pl +++ b/.Attic/metta_lang/metta_eval.pl @@ -2905,3 +2905,4 @@ XX = [H|NewArgs],Y=XX. eval_evals(_Eq,_Depth,_Self,_RetType,X,X):-!. + diff --git a/.Attic/metta_lang/metta_interp.pl b/.Attic/metta_lang/metta_interp.pl index 196a0227c8e..2e704eb5c79 100755 --- a/.Attic/metta_lang/metta_interp.pl +++ b/.Attic/metta_lang/metta_interp.pl @@ -2367,3 +2367,4 @@ + diff --git a/.Attic/metta_lang/metta_loader.pl b/.Attic/metta_lang/metta_loader.pl index 6a8ac9b54cc..60f993856d1 100755 --- a/.Attic/metta_lang/metta_loader.pl +++ b/.Attic/metta_lang/metta_loader.pl @@ -3694,3 +3694,4 @@ with_output_to(string(_), include_metta_directory_file('&corelib', Dir, Filename)))), asserta(really_using_corelib_file), debug(lsp(main), "~q", [end_really_use_corelib_file(Dir, File)]). + diff --git a/.Attic/metta_lang/metta_mizer.pl b/.Attic/metta_lang/metta_mizer.pl index 13d9d5910e1..4c2bdbe8fa4 100755 --- a/.Attic/metta_lang/metta_mizer.pl +++ b/.Attic/metta_lang/metta_mizer.pl @@ -455,3 +455,4 @@ + diff --git a/.Attic/metta_lang/metta_ontology.pfc.pl b/.Attic/metta_lang/metta_ontology.pfc.pl index 862c6a1c06f..39e48b410d8 100755 --- a/.Attic/metta_lang/metta_ontology.pfc.pl +++ b/.Attic/metta_lang/metta_ontology.pfc.pl @@ -483,3 +483,4 @@ properties('&corelib','flip', [random, qhelp("Return a random boolean."), random_boolean]). + diff --git a/.Attic/metta_lang/metta_parser.pl b/.Attic/metta_lang/metta_parser.pl index b72898227fc..61ff87fc098 100644 --- a/.Attic/metta_lang/metta_parser.pl +++ b/.Attic/metta_lang/metta_parser.pl @@ -1273,3 +1273,4 @@ % Ensure the program runs upon initialization. :- initialization(main_init, main). + diff --git a/.Attic/metta_lang/metta_persists.pl b/.Attic/metta_lang/metta_persists.pl index 35534d6cae8..993f529737b 100644 --- a/.Attic/metta_lang/metta_persists.pl +++ b/.Attic/metta_lang/metta_persists.pl @@ -86,3 +86,4 @@ shutdown_persistency. + diff --git a/.Attic/metta_lang/metta_pfc_base.pl b/.Attic/metta_lang/metta_pfc_base.pl index 556bb69e0ac..ad07b56ef5e 100755 --- a/.Attic/metta_lang/metta_pfc_base.pl +++ b/.Attic/metta_lang/metta_pfc_base.pl @@ -4596,3 +4596,4 @@ nop((dumpST, pfcWarn("Couldn't retract ~p.", [X]))))), !, fail. + diff --git a/.Attic/metta_lang/metta_pfc_support.pl b/.Attic/metta_lang/metta_pfc_support.pl index e8fde495f99..9b1f794be0d 100755 --- a/.Attic/metta_lang/metta_pfc_support.pl +++ b/.Attic/metta_lang/metta_pfc_support.pl @@ -1720,3 +1720,4 @@ % @arg G The goal to execute. % fwithout_running(G):- (t_l:mpred_run_paused -> G ; locally_tl(mpred_run_pause,G)). + diff --git a/.Attic/metta_lang/metta_printer.pl b/.Attic/metta_lang/metta_printer.pl index ff12e52bfc7..b0f8bba9731 100755 --- a/.Attic/metta_lang/metta_printer.pl +++ b/.Attic/metta_lang/metta_printer.pl @@ -1748,3 +1748,4 @@ xlisting_console:portray_hbr(H, B, _R):- B==true, !, write_src(H). xlisting_console:portray_hbr(H, B, _R):- print_tree(H:-B). + diff --git a/.Attic/metta_lang/metta_python.pl b/.Attic/metta_lang/metta_python.pl index 0f14d9bc1c7..a8df8fed32c 100755 --- a/.Attic/metta_lang/metta_python.pl +++ b/.Attic/metta_lang/metta_python.pl @@ -2529,3 +2529,4 @@ % no more vars left to replace subst_each_var(_,TermIO,TermIO). + diff --git a/.Attic/metta_lang/metta_repl.pl b/.Attic/metta_lang/metta_repl.pl index 7ecfb6a81af..69d7c8ac26a 100755 --- a/.Attic/metta_lang/metta_repl.pl +++ b/.Attic/metta_lang/metta_repl.pl @@ -2302,3 +2302,4 @@ writeln('(I) info - Show information about the current state.'), !. + diff --git a/.Attic/metta_lang/metta_runtime.pl b/.Attic/metta_lang/metta_runtime.pl index 5ebe1c14e0b..4af6bf93ad4 100644 --- a/.Attic/metta_lang/metta_runtime.pl +++ b/.Attic/metta_lang/metta_runtime.pl @@ -30,3 +30,4 @@ % Start interpreter code :- user:loon. + diff --git a/.Attic/metta_lang/metta_server.pl b/.Attic/metta_lang/metta_server.pl index 4a42a67ecdc..7d87ebfe79b 100755 --- a/.Attic/metta_lang/metta_server.pl +++ b/.Attic/metta_lang/metta_server.pl @@ -1177,3 +1177,4 @@ % Automatically start the server at initialization, ensuring only one server is started :- initialization(start_dbg_telnet). + diff --git a/.Attic/metta_lang/metta_space.pl b/.Attic/metta_lang/metta_space.pl index 969f6c139d2..aeaa6be1cad 100755 --- a/.Attic/metta_lang/metta_space.pl +++ b/.Attic/metta_lang/metta_space.pl @@ -2325,3 +2325,4 @@ What =@= What0, % Check structural equivalence. % If the terms are non-variable, unify them. (nonvar(What) -> What = What0; What == What0). + diff --git a/.Attic/metta_lang/metta_subst.pl b/.Attic/metta_lang/metta_subst.pl index 64c6cfc504f..59b13682fd4 100755 --- a/.Attic/metta_lang/metta_subst.pl +++ b/.Attic/metta_lang/metta_subst.pl @@ -930,3 +930,4 @@ %setof_subst(Depth,Self,X,S):- setof(E,subst_args(Eq,RetType,Depth,Self,X,E),S)*->true;S=[]. + diff --git a/.Attic/metta_lang/metta_testing.pl b/.Attic/metta_lang/metta_testing.pl index 41445be22e4..907f1bac43d 100755 --- a/.Attic/metta_lang/metta_testing.pl +++ b/.Attic/metta_lang/metta_testing.pl @@ -2377,3 +2377,4 @@ assert_eq!(result, bind_set![{object: expr!("baloon"), color: expr!("blue")}]); } + diff --git a/.Attic/metta_lang/metta_threads.pl b/.Attic/metta_lang/metta_threads.pl index 26171dd85f6..5774ec5d5c9 100755 --- a/.Attic/metta_lang/metta_threads.pl +++ b/.Attic/metta_lang/metta_threads.pl @@ -458,4 +458,4 @@ ). await(lazy_thunk(Goal)) :- % For lazy evaluation, execute the goal directly when `await/1` is called. - call(Goal). \ No newline at end of file + call(Goal). diff --git a/.Attic/metta_lang/metta_types.pl b/.Attic/metta_lang/metta_types.pl index 10b2b168c11..4bc87550e47 100755 --- a/.Attic/metta_lang/metta_types.pl +++ b/.Attic/metta_lang/metta_types.pl @@ -2220,3 +2220,4 @@ + diff --git a/.Attic/metta_lang/metta_utils.pl b/.Attic/metta_lang/metta_utils.pl index 6ba1e44c61e..0a36cf0eda6 100755 --- a/.Attic/metta_lang/metta_utils.pl +++ b/.Attic/metta_lang/metta_utils.pl @@ -5428,3 +5428,4 @@ ignore_numvars(Name='$VAR'(Name)). + diff --git a/.Attic/metta_lang/swi_support.pl b/.Attic/metta_lang/swi_support.pl index 34a8f2b4cb3..ba11db40559 100755 --- a/.Attic/metta_lang/swi_support.pl +++ b/.Attic/metta_lang/swi_support.pl @@ -871,3 +871,4 @@ add_history(_). :- endif. + diff --git a/.Attic/rust-wam/scryer_iso.pl b/.Attic/rust-wam/scryer_iso.pl index fd440b0126b..ecd89eb17a0 100755 --- a/.Attic/rust-wam/scryer_iso.pl +++ b/.Attic/rust-wam/scryer_iso.pl @@ -405,3 +405,4 @@ bb_put(Key, NewValueSet). + diff --git a/INSTALL.sh b/INSTALL.sh index c9816c9f2aa..7c749e21a50 100755 --- a/INSTALL.sh +++ b/INSTALL.sh @@ -626,3 +626,4 @@ cd "$RPWD" # Return to the original directory. # ``` + diff --git a/libraries/dictoo/pack.pl b/libraries/dictoo/pack.pl index 9eb852f2c1c..5f88ed29c9e 100755 --- a/libraries/dictoo/pack.pl +++ b/libraries/dictoo/pack.pl @@ -9,3 +9,4 @@ maintainer( 'logicmoo', 'https://github.com/logicmoo/' ). home('https://github.com/logicmoo/dictoo'). requires(logicmoo_utils). + diff --git a/libraries/dictoo/prolog/dictoo.pl b/libraries/dictoo/prolog/dictoo.pl index 4902aeb5d06..200da7f73a0 100755 --- a/libraries/dictoo/prolog/dictoo.pl +++ b/libraries/dictoo/prolog/dictoo.pl @@ -46,3 +46,4 @@ % :- verbose_expansion(on). + diff --git a/libraries/dictoo/prolog/dictoo_declarations.pl b/libraries/dictoo/prolog/dictoo_declarations.pl index 888bc9e952b..f0161bd7e2e 100755 --- a/libraries/dictoo/prolog/dictoo_declarations.pl +++ b/libraries/dictoo/prolog/dictoo_declarations.pl @@ -68,3 +68,4 @@ PO = P. :- set_prolog_flag(gvs_syntax,false). + diff --git a/libraries/dictoo/prolog/dictoo_lib.pl b/libraries/dictoo/prolog/dictoo_lib.pl index 67a3248f668..e40ad567146 100755 --- a/libraries/dictoo/prolog/dictoo_lib.pl +++ b/libraries/dictoo/prolog/dictoo_lib.pl @@ -513,3 +513,4 @@ + diff --git a/libraries/dictoo/prolog/globals_api.pl b/libraries/dictoo/prolog/globals_api.pl index abeb415a047..8f40b4a0d02 100755 --- a/libraries/dictoo/prolog/globals_api.pl +++ b/libraries/dictoo/prolog/globals_api.pl @@ -2,3 +2,4 @@ :- reexport(gvar_globals_api). + diff --git a/libraries/dictoo/prolog/gvar_fixup_exports.pl b/libraries/dictoo/prolog/gvar_fixup_exports.pl index ba520a44321..a7639b518fd 100755 --- a/libraries/dictoo/prolog/gvar_fixup_exports.pl +++ b/libraries/dictoo/prolog/gvar_fixup_exports.pl @@ -59,3 +59,4 @@ :- endif. + diff --git a/libraries/dictoo/prolog/gvar_globals_api.pl b/libraries/dictoo/prolog/gvar_globals_api.pl index 03687a6c2af..e2a510a1373 100644 --- a/libraries/dictoo/prolog/gvar_globals_api.pl +++ b/libraries/dictoo/prolog/gvar_globals_api.pl @@ -257,3 +257,4 @@ :- endif. :- init_tracker. + diff --git a/libraries/dictoo/prolog/gvar_lib.pl b/libraries/dictoo/prolog/gvar_lib.pl index ddf54d4aa15..fa670a06c5c 100644 --- a/libraries/dictoo/prolog/gvar_lib.pl +++ b/libraries/dictoo/prolog/gvar_lib.pl @@ -725,3 +725,4 @@ + diff --git a/libraries/dictoo/prolog/gvar_qvars.pl b/libraries/dictoo/prolog/gvar_qvars.pl index 706135f626d..64702f7390a 100755 --- a/libraries/dictoo/prolog/gvar_qvars.pl +++ b/libraries/dictoo/prolog/gvar_qvars.pl @@ -19,3 +19,4 @@ + diff --git a/libraries/dictoo/prolog/gvar_syntax.pl b/libraries/dictoo/prolog/gvar_syntax.pl index 21299eec135..6eefb64bb43 100755 --- a/libraries/dictoo/prolog/gvar_syntax.pl +++ b/libraries/dictoo/prolog/gvar_syntax.pl @@ -19,3 +19,4 @@ + diff --git a/libraries/dictoo/prolog/logicmoo_logtalk.pl b/libraries/dictoo/prolog/logicmoo_logtalk.pl index a2cd5f2b5f9..7e49b7542b5 100755 --- a/libraries/dictoo/prolog/logicmoo_logtalk.pl +++ b/libraries/dictoo/prolog/logicmoo_logtalk.pl @@ -70,3 +70,4 @@ :- fixup_exports. + diff --git a/libraries/dictoo/t/dictoo_tests.pl b/libraries/dictoo/t/dictoo_tests.pl index b29903ac30b..8eb3c266841 100755 --- a/libraries/dictoo/t/dictoo_tests.pl +++ b/libraries/dictoo/t/dictoo_tests.pl @@ -159,3 +159,4 @@ % :- debug(dictoo(decl)). + diff --git a/libraries/dictoo/t/gvar_syntax/t/gvar_syntax_tests.pl b/libraries/dictoo/t/gvar_syntax/t/gvar_syntax_tests.pl index 2b1d7b3d3d1..aa0f925367d 100755 --- a/libraries/dictoo/t/gvar_syntax/t/gvar_syntax_tests.pl +++ b/libraries/dictoo/t/gvar_syntax/t/gvar_syntax_tests.pl @@ -44,3 +44,4 @@ :- listing(test(_)). + diff --git a/libraries/dictoo/t/gvar_syntax/t/sanity_tests.pl b/libraries/dictoo/t/gvar_syntax/t/sanity_tests.pl index a67e43e7fe4..da6a06691d5 100755 --- a/libraries/dictoo/t/gvar_syntax/t/sanity_tests.pl +++ b/libraries/dictoo/t/gvar_syntax/t/sanity_tests.pl @@ -9,3 +9,4 @@ :- consult(gvar_syntax_tests). + diff --git a/libraries/dictoo/t/sanity_tests.pl b/libraries/dictoo/t/sanity_tests.pl index 2e4fb4938cd..86f96949290 100755 --- a/libraries/dictoo/t/sanity_tests.pl +++ b/libraries/dictoo/t/sanity_tests.pl @@ -9,3 +9,4 @@ :- consult(library(dictoo_example)). + diff --git a/libraries/loaders/genome/chado_xml_loader.pl b/libraries/loaders/genome/chado_xml_loader.pl index 41b171618f5..a1c62d73560 100644 --- a/libraries/loaders/genome/chado_xml_loader.pl +++ b/libraries/loaders/genome/chado_xml_loader.pl @@ -761,4 +761,4 @@ process_feature_data(Tag, Attr, Content):- is_list(Content), member(element(_,_,_),Content), maplist(process_feature_data(Tag, Attr), Content).*/ -process_feature_data(T, A, B):- print(tab(T,A,B)),nl,sleep(0.1). \ No newline at end of file +process_feature_data(T, A, B):- print(tab(T,A,B)),nl,sleep(0.1). diff --git a/libraries/loaders/genome/das_classic_loader.pl b/libraries/loaders/genome/das_classic_loader.pl index a4b3ea93703..ef45f41a4bc 100644 --- a/libraries/loaders/genome/das_classic_loader.pl +++ b/libraries/loaders/genome/das_classic_loader.pl @@ -222,4 +222,4 @@ atom(InheritanceLink),atom_concat(Inheritance,'Link',InheritanceLink), maplist(rewrite_as10_to_as20,Args,ArgsL,Extras), flatten(Extras,ExtrasF),!. -rewrite_as10_to_as20(A,A,[]). % Fallback case: if no other rules apply, return `A` as-is with no extras. \ No newline at end of file +rewrite_as10_to_as20(A,A,[]). % Fallback case: if no other rules apply, return `A` as-is with no extras. diff --git a/libraries/loaders/genome/ext_loader_csv.pl b/libraries/loaders/genome/ext_loader_csv.pl index e69de29bb2d..8b137891791 100644 --- a/libraries/loaders/genome/ext_loader_csv.pl +++ b/libraries/loaders/genome/ext_loader_csv.pl @@ -0,0 +1 @@ + diff --git a/libraries/loaders/genome/ext_loader_fasta.pl b/libraries/loaders/genome/ext_loader_fasta.pl index d45526b5e4c..fd8ca7a651d 100644 --- a/libraries/loaders/genome/ext_loader_fasta.pl +++ b/libraries/loaders/genome/ext_loader_fasta.pl @@ -145,4 +145,4 @@ % Update the position based on the length of the current line. length(Chars, Plus), At is From + Plus, - load_fb_fa_read(Fn, In, FBTe, At). \ No newline at end of file + load_fb_fa_read(Fn, In, FBTe, At). diff --git a/libraries/loaders/genome/ext_loader_gff.pl b/libraries/loaders/genome/ext_loader_gff.pl index bad910a697e..240028ec5db 100644 --- a/libraries/loaders/genome/ext_loader_gff.pl +++ b/libraries/loaders/genome/ext_loader_gff.pl @@ -264,3 +264,4 @@ */ + diff --git a/libraries/loaders/genome/ext_loader_json.pl b/libraries/loaders/genome/ext_loader_json.pl index c551b905614..1f9c9c33257 100644 --- a/libraries/loaders/genome/ext_loader_json.pl +++ b/libraries/loaders/genome/ext_loader_json.pl @@ -1192,3 +1192,4 @@ + diff --git a/libraries/loaders/genome/ext_loader_obo.pl b/libraries/loaders/genome/ext_loader_obo.pl index f2e6dec26bd..f565e619c08 100644 --- a/libraries/loaders/genome/ext_loader_obo.pl +++ b/libraries/loaders/genome/ext_loader_obo.pl @@ -1039,4 +1039,4 @@ atom_concat(O, ' ', I), !. simplify_obo_arg(I, O) :- % Convert a numeric string to a number. - atom_number(I, O), !. \ No newline at end of file + atom_number(I, O), !. diff --git a/libraries/loaders/genome/ext_loader_tsv.pl b/libraries/loaders/genome/ext_loader_tsv.pl index 0277460ea97..6178122a28b 100644 --- a/libraries/loaders/genome/ext_loader_tsv.pl +++ b/libraries/loaders/genome/ext_loader_tsv.pl @@ -385,3 +385,4 @@ + diff --git a/libraries/loaders/genome/flybase_convert.pl b/libraries/loaders/genome/flybase_convert.pl index d3d8675689c..6d7b567e7a2 100644 --- a/libraries/loaders/genome/flybase_convert.pl +++ b/libraries/loaders/genome/flybase_convert.pl @@ -94,3 +94,4 @@ % support utilities specific to SWI-Prolog that might assist with system or % compatibility features. % :- ensure_loaded(swi_support). + diff --git a/libraries/loaders/genome/flybase_induced_types.pl b/libraries/loaders/genome/flybase_induced_types.pl index 09a771ee19d..83af0993af1 100644 --- a/libraries/loaders/genome/flybase_induced_types.pl +++ b/libraries/loaders/genome/flybase_induced_types.pl @@ -1645,3 +1645,4 @@ table_n_type(synonym, 4, current_fullname, _). table_n_type(synonym, 5, fullname_synonym, _). table_n_type(synonym, 6, symbol_synonym, _). + diff --git a/libraries/loaders/genome/flybase_learn.pl b/libraries/loaders/genome/flybase_learn.pl index 8445eeff8fb..2cb09164d6a 100644 --- a/libraries/loaders/genome/flybase_learn.pl +++ b/libraries/loaders/genome/flybase_learn.pl @@ -4111,3 +4111,4 @@ % Y = 100. % :- forall(fb_tsv_pred_stats(P, A1, Rest), (G =.. [P, A1 | Rest], assert(G))). + diff --git a/libraries/loaders/genome/flybase_loader.pl b/libraries/loaders/genome/flybase_loader.pl index eadc6d148c1..1c3a6b735a8 100644 --- a/libraries/loaders/genome/flybase_loader.pl +++ b/libraries/loaders/genome/flybase_loader.pl @@ -3533,4 +3533,4 @@ datalog_to_termlog('./data/*/*/*/*/*/*.datalog'), datalog_to_termlog('./data/*/*/*/*/*/*/*.datalog'). -%datalog_to_termlog:- datalog_to_termlog('whole_flybase.datalog'). \ No newline at end of file +%datalog_to_termlog:- datalog_to_termlog('whole_flybase.datalog'). diff --git a/libraries/loaders/genome/flybase_main.pl b/libraries/loaders/genome/flybase_main.pl index ac852f13d5b..506dfdf63ad 100644 --- a/libraries/loaders/genome/flybase_main.pl +++ b/libraries/loaders/genome/flybase_main.pl @@ -1500,3 +1500,4 @@ maplist(ensure_loaded,AList). :- ping_file_loaders. + diff --git a/libraries/loaders/genome/flybase_scheme.pl b/libraries/loaders/genome/flybase_scheme.pl index ac201a65727..fa9a9bb71dd 100644 --- a/libraries/loaders/genome/flybase_scheme.pl +++ b/libraries/loaders/genome/flybase_scheme.pl @@ -2776,3 +2776,4 @@ 'information_schema.columns'(flybase,public,expressionprop,expressionprop_id,1,'nextval(\'expressionprop_expressionprop_id_seq\'::regclass)','NO',integer,'','',32,2,0,'','','','','','','','','','','','',flybase,pg_catalog,int4,'','','','',1,'NO','NO','','','','','','NO','NEVER','','YES'). 'information_schema.columns'(flybase,pg_catalog,pg_statistic_ext,stxnamespace,4,'','NO',oid,'','','','','','','','','','','','','','','','','',flybase,pg_catalog,oid,'','','','',4,'NO','NO','','','','','','NO','NEVER','','YES'). 'information_schema.columns'(flybase,public,library_expression,pub_id,4,'','NO',integer,'','',32,2,0,'','','','','','','','','','','','',flybase,pg_catalog,int4,'','','','',4,'NO','NO','','','','','','NO','NEVER','','YES'). + diff --git a/libraries/loaders/graphml/ext_loader_graphml.pl b/libraries/loaders/graphml/ext_loader_graphml.pl index ab3e475307b..4d67e52cb13 100644 --- a/libraries/loaders/graphml/ext_loader_graphml.pl +++ b/libraries/loaders/graphml/ext_loader_graphml.pl @@ -531,3 +531,4 @@ % :- rgml. + diff --git a/libraries/logicmoo_utils/pack.pl b/libraries/logicmoo_utils/pack.pl index 20c74b21a8b..cb2292ba356 100755 --- a/libraries/logicmoo_utils/pack.pl +++ b/libraries/logicmoo_utils/pack.pl @@ -10,3 +10,4 @@ requires(predicate_streams). % requires(dictoo). autoload(true). + diff --git a/libraries/logicmoo_utils/prolog/INDEX.pl b/libraries/logicmoo_utils/prolog/INDEX.pl index 4877d1ed58f..f1258ed9e76 100644 --- a/libraries/logicmoo_utils/prolog/INDEX.pl +++ b/libraries/logicmoo_utils/prolog/INDEX.pl @@ -78,3 +78,4 @@ index((process_stream), 1, script_files, script_files). index((visit_script_term), 1, script_files, script_files). index((xlisting), 1, xlisting_lm, xlisting). + diff --git a/libraries/logicmoo_utils/prolog/assert_db_local.pl b/libraries/logicmoo_utils/prolog/assert_db_local.pl index 2db64b35144..16ce7f7df5a 100755 --- a/libraries/logicmoo_utils/prolog/assert_db_local.pl +++ b/libraries/logicmoo_utils/prolog/assert_db_local.pl @@ -206,3 +206,4 @@ prolog_load_context(module, M), goal_L_expansion(M, I, O). + diff --git a/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_autocut.pl b/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_autocut.pl index 71e3520bb21..4c8a03dc554 100755 --- a/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_autocut.pl +++ b/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_autocut.pl @@ -124,3 +124,4 @@ %:- break. + diff --git a/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_body_nauts.pl b/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_body_nauts.pl index f1a915631c1..1c2f40ab01b 100755 --- a/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_body_nauts.pl +++ b/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_body_nauts.pl @@ -85,3 +85,4 @@ % some tests :- endif. + diff --git a/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_body_reorder.pl b/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_body_reorder.pl index 93c8b50bf60..fd2d22ec543 100755 --- a/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_body_reorder.pl +++ b/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_body_reorder.pl @@ -208,3 +208,4 @@ % some tests :- endif. + diff --git a/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_body_textstr.pl b/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_body_textstr.pl index 8c34c65ea38..78a79d50751 100755 --- a/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_body_textstr.pl +++ b/libraries/logicmoo_utils/prolog/body_reordering/logicmoo_util_body_textstr.pl @@ -83,3 +83,4 @@ % some tests :- endif. + diff --git a/libraries/logicmoo_utils/prolog/cpviz/structures.pl b/libraries/logicmoo_utils/prolog/cpviz/structures.pl index 2477cbe0da5..81976b86058 100755 --- a/libraries/logicmoo_utils/prolog/cpviz/structures.pl +++ b/libraries/logicmoo_utils/prolog/cpviz/structures.pl @@ -112,3 +112,4 @@ get_field_argno(min, visualizer, 11). get_field_argno(max, visualizer, 12). + diff --git a/libraries/logicmoo_utils/prolog/cpviz/visualize_tree.pl b/libraries/logicmoo_utils/prolog/cpviz/visualize_tree.pl index 92c5fc03242..b7b35868668 100755 --- a/libraries/logicmoo_utils/prolog/cpviz/visualize_tree.pl +++ b/libraries/logicmoo_utils/prolog/cpviz/visualize_tree.pl @@ -384,3 +384,4 @@ ) ). + diff --git a/libraries/logicmoo_utils/prolog/debuggery/bugger.pl b/libraries/logicmoo_utils/prolog/debuggery/bugger.pl index 09fc28cce30..09095f55997 100755 --- a/libraries/logicmoo_utils/prolog/debuggery/bugger.pl +++ b/libraries/logicmoo_utils/prolog/debuggery/bugger.pl @@ -3274,3 +3274,4 @@ :- fixup_module_exports_now. + diff --git a/libraries/logicmoo_utils/prolog/debuggery/dmsg.pl b/libraries/logicmoo_utils/prolog/debuggery/dmsg.pl index 19c5f2751ee..e4bb97a8835 100755 --- a/libraries/logicmoo_utils/prolog/debuggery/dmsg.pl +++ b/libraries/logicmoo_utils/prolog/debuggery/dmsg.pl @@ -2384,3 +2384,4 @@ :- fixup_exports. :- fixup_module_exports_now. + diff --git a/libraries/logicmoo_utils/prolog/debuggery/dumpst.pl b/libraries/logicmoo_utils/prolog/debuggery/dumpst.pl index e0322c85783..de171ba35ae 100755 --- a/libraries/logicmoo_utils/prolog/debuggery/dumpst.pl +++ b/libraries/logicmoo_utils/prolog/debuggery/dumpst.pl @@ -788,3 +788,4 @@ %user:prolog_exception_hook(A,B,C,D):- fail, % once(copy_term(A,AA)),catchv(( once(bugger_prolog_exception_hook(AA,B,C,D))),_,fail),fail. + diff --git a/libraries/logicmoo_utils/prolog/debuggery/first.pl b/libraries/logicmoo_utils/prolog/debuggery/first.pl index 2b6c68bfcd0..033b5476dae 100755 --- a/libraries/logicmoo_utils/prolog/debuggery/first.pl +++ b/libraries/logicmoo_utils/prolog/debuggery/first.pl @@ -1192,3 +1192,4 @@ ignore(((\+ atom_concat('$',_,F),(export(F/A) , current_predicate(system:F/A)->true; system:import(M:F/A))))), ignore(((\+ predicate_property(M:H,transparent), module_transparent(M:F/A), \+ atom_concat('__aux',_,F),debug(modules,'~N:- module_transparent((~q)/~q).~n',[F,A]))))))))). + diff --git a/libraries/logicmoo_utils/prolog/debuggery/frames.pl b/libraries/logicmoo_utils/prolog/debuggery/frames.pl index ece7060f5dd..6741da23ee7 100755 --- a/libraries/logicmoo_utils/prolog/debuggery/frames.pl +++ b/libraries/logicmoo_utils/prolog/debuggery/frames.pl @@ -217,3 +217,4 @@ ignore(((\+ predicate_property(M:H,transparent), module_transparent(M:F/A), \+ atom_concat('__aux',_,F),debug(modules,'~N:- module_transparent((~q)/~q).~n',[F,A]))))))))). + diff --git a/libraries/logicmoo_utils/prolog/debuggery/rtrace.pl b/libraries/logicmoo_utils/prolog/debuggery/rtrace.pl index dc8ad0bbe9e..69904a40770 100755 --- a/libraries/logicmoo_utils/prolog/debuggery/rtrace.pl +++ b/libraries/logicmoo_utils/prolog/debuggery/rtrace.pl @@ -510,3 +510,4 @@ %:- ignore(rtrace(non_user_console)). :- '$hide'(rtrace/1). + diff --git a/libraries/logicmoo_utils/prolog/debuggery/ucatch.pl b/libraries/logicmoo_utils/prolog/debuggery/ucatch.pl index b68adf4c8d9..e3cecc8657e 100755 --- a/libraries/logicmoo_utils/prolog/debuggery/ucatch.pl +++ b/libraries/logicmoo_utils/prolog/debuggery/ucatch.pl @@ -2047,3 +2047,4 @@ :- include(dmsg). :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/each_call_cleanup.pl b/libraries/logicmoo_utils/prolog/each_call_cleanup.pl index f9362ad4aa9..ee2903bebcc 100755 --- a/libraries/logicmoo_utils/prolog/each_call_cleanup.pl +++ b/libraries/logicmoo_utils/prolog/each_call_cleanup.pl @@ -4,3 +4,4 @@ + diff --git a/libraries/logicmoo_utils/prolog/echo_source_files.pl b/libraries/logicmoo_utils/prolog/echo_source_files.pl index 671f251222b..93dff8af219 100755 --- a/libraries/logicmoo_utils/prolog/echo_source_files.pl +++ b/libraries/logicmoo_utils/prolog/echo_source_files.pl @@ -236,3 +236,4 @@ %system:term_expansion(I,P,O,PO):- echo_catchup(I,P,O,PO). + diff --git a/libraries/logicmoo_utils/prolog/file_scope.pl b/libraries/logicmoo_utils/prolog/file_scope.pl index 3a4d0f1a2ab..364e77d692a 100755 --- a/libraries/logicmoo_utils/prolog/file_scope.pl +++ b/libraries/logicmoo_utils/prolog/file_scope.pl @@ -419,3 +419,4 @@ source_location(File,LineNo)-> notice_file(EOF,File,LineNo))->fail. + diff --git a/libraries/logicmoo_utils/prolog/hook_database.pl b/libraries/logicmoo_utils/prolog/hook_database.pl index d5370142697..2584d952a20 100755 --- a/libraries/logicmoo_utils/prolog/hook_database.pl +++ b/libraries/logicmoo_utils/prolog/hook_database.pl @@ -933,3 +933,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/hook_hybrid.pl b/libraries/logicmoo_utils/prolog/hook_hybrid.pl index b576eb6b943..2e35b4f370f 100755 --- a/libraries/logicmoo_utils/prolog/hook_hybrid.pl +++ b/libraries/logicmoo_utils/prolog/hook_hybrid.pl @@ -3,3 +3,4 @@ :- reexport(library(logicmoo_common)). + diff --git a/libraries/logicmoo_utils/prolog/listing_vars.pl b/libraries/logicmoo_utils/prolog/listing_vars.pl index 21803711add..75e700e1a77 100755 --- a/libraries/logicmoo_utils/prolog/listing_vars.pl +++ b/libraries/logicmoo_utils/prolog/listing_vars.pl @@ -5,3 +5,4 @@ + diff --git a/libraries/logicmoo_utils/prolog/lm_utils/each_call_cleanup.pl b/libraries/logicmoo_utils/prolog/lm_utils/each_call_cleanup.pl index e5ec6f00924..d15633e58e6 100755 --- a/libraries/logicmoo_utils/prolog/lm_utils/each_call_cleanup.pl +++ b/libraries/logicmoo_utils/prolog/lm_utils/each_call_cleanup.pl @@ -4,3 +4,4 @@ + diff --git a/libraries/logicmoo_utils/prolog/lm_utils/hook_hybrid.pl b/libraries/logicmoo_utils/prolog/lm_utils/hook_hybrid.pl index b576eb6b943..2e35b4f370f 100755 --- a/libraries/logicmoo_utils/prolog/lm_utils/hook_hybrid.pl +++ b/libraries/logicmoo_utils/prolog/lm_utils/hook_hybrid.pl @@ -3,3 +3,4 @@ :- reexport(library(logicmoo_common)). + diff --git a/libraries/logicmoo_utils/prolog/lm_utils/listing_vars.pl b/libraries/logicmoo_utils/prolog/lm_utils/listing_vars.pl index 3581eaa6486..b1217315b07 100755 --- a/libraries/logicmoo_utils/prolog/lm_utils/listing_vars.pl +++ b/libraries/logicmoo_utils/prolog/lm_utils/listing_vars.pl @@ -1,2 +1,3 @@ :- module(listing_vars_legacy,[]). + diff --git a/libraries/logicmoo_utils/prolog/lm_utils/logicmoo_util_common.pl b/libraries/logicmoo_utils/prolog/lm_utils/logicmoo_util_common.pl index 5de57380980..d17b76099e7 100755 --- a/libraries/logicmoo_utils/prolog/lm_utils/logicmoo_util_common.pl +++ b/libraries/logicmoo_utils/prolog/lm_utils/logicmoo_util_common.pl @@ -3,3 +3,4 @@ :- reexport(library(logicmoo_common)). + diff --git a/libraries/logicmoo_utils/prolog/lm_utils/logicmoo_util_strings.pl b/libraries/logicmoo_utils/prolog/lm_utils/logicmoo_util_strings.pl index 544d0f26d0f..ba21ddba153 100755 --- a/libraries/logicmoo_utils/prolog/lm_utils/logicmoo_util_strings.pl +++ b/libraries/logicmoo_utils/prolog/lm_utils/logicmoo_util_strings.pl @@ -4,3 +4,4 @@ + diff --git a/libraries/logicmoo_utils/prolog/lm_utils/loop_check.pl b/libraries/logicmoo_utils/prolog/lm_utils/loop_check.pl index 7cc452a66a4..cf528c8006b 100755 --- a/libraries/logicmoo_utils/prolog/lm_utils/loop_check.pl +++ b/libraries/logicmoo_utils/prolog/lm_utils/loop_check.pl @@ -2,3 +2,4 @@ :- reexport(library(logicmoo_common)). + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/attvar_reader.pl b/libraries/logicmoo_utils/prolog/logicmoo/attvar_reader.pl index 1228f94aa1d..f9c87a4ce0b 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/attvar_reader.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/attvar_reader.pl @@ -93,3 +93,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/attvar_serializer.pl b/libraries/logicmoo_utils/prolog/logicmoo/attvar_serializer.pl index 12b637846c4..2eaae87ffad 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/attvar_serializer.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/attvar_serializer.pl @@ -328,3 +328,4 @@ */ + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/butterfly_console.pl b/libraries/logicmoo_utils/prolog/logicmoo/butterfly_console.pl index 857398b58a6..a80c664f598 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/butterfly_console.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/butterfly_console.pl @@ -1332,3 +1332,4 @@ % user:portray(X):- \+ current_prolog_flag(debug, true), \+ tracing, bfly_portray(X), !. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/butterfly_term_html.pl b/libraries/logicmoo_utils/prolog/logicmoo/butterfly_term_html.pl index 98992514ccf..c78abd06c7d 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/butterfly_term_html.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/butterfly_term_html.pl @@ -10,3 +10,4 @@ */ :- reexport(pretty_clauses). + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/call_from_module.pl b/libraries/logicmoo_utils/prolog/logicmoo/call_from_module.pl index 2a46d31e9ef..95b6977726b 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/call_from_module.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/call_from_module.pl @@ -1153,3 +1153,4 @@ :- create_prolog_flag(mpred_te,true,[keep(true)]). :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/call_reorder.pl b/libraries/logicmoo_utils/prolog/logicmoo/call_reorder.pl index e3a23a84134..9f918759a57 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/call_reorder.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/call_reorder.pl @@ -45,3 +45,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/clause_attvars.pl b/libraries/logicmoo_utils/prolog/logicmoo/clause_attvars.pl index d2b5e57f369..d5a2ab0c9fd 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/clause_attvars.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/clause_attvars.pl @@ -148,3 +148,4 @@ + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/dcg_meta.pl b/libraries/logicmoo_utils/prolog/logicmoo/dcg_meta.pl index 0deb2625e60..fdba0c24487 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/dcg_meta.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/dcg_meta.pl @@ -878,3 +878,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/dcg_must.pl b/libraries/logicmoo_utils/prolog/logicmoo/dcg_must.pl index 7c43ceb00f2..5f88bac7bcc 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/dcg_must.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/dcg_must.pl @@ -59,3 +59,4 @@ dcg_push(A, S, [B|S]):- =(A,B). :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/each_call.pl b/libraries/logicmoo_utils/prolog/logicmoo/each_call.pl index 14e0036a671..001c3cb7d90 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/each_call.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/each_call.pl @@ -202,3 +202,4 @@ not_in_identical(X, [Y|Ys]) :- X \== Y, not_in_identical(X, Ys). + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/filestreams.pl b/libraries/logicmoo_utils/prolog/logicmoo/filestreams.pl index 548ff7622cf..5867f3d186d 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/filestreams.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/filestreams.pl @@ -605,3 +605,4 @@ copy_stream(HTTP_Stream,Stream):-read_stream_to_codes(HTTP_Stream,Codes),catch(close(HTTP_Stream),_,true),open_codes_stream(Codes,Stream). :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/filesystem.pl b/libraries/logicmoo_utils/prolog/logicmoo/filesystem.pl index 8e703c0b13f..46bb32d2342 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/filesystem.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/filesystem.pl @@ -1044,3 +1044,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/lockable_vars.pl b/libraries/logicmoo_utils/prolog/logicmoo/lockable_vars.pl index 721472f1c8e..5bdd4c6bf5f 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/lockable_vars.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/lockable_vars.pl @@ -250,3 +250,4 @@ InSLock = slock(InLock,Else,Sorted), check_slock(InLock,Else,InSLock,Sorted,Value). */ + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/misc_terms.pl b/libraries/logicmoo_utils/prolog/logicmoo/misc_terms.pl index 23df3d7aa49..0589c12600b 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/misc_terms.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/misc_terms.pl @@ -1294,3 +1294,4 @@ logicmoo_library_file_loaded. :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/nb_set_term.pl b/libraries/logicmoo_utils/prolog/logicmoo/nb_set_term.pl index 1224f028822..e27623f0883 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/nb_set_term.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/nb_set_term.pl @@ -75,3 +75,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/no_loops.pl b/libraries/logicmoo_utils/prolog/logicmoo/no_loops.pl index 98d8a713d94..90c71b481d3 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/no_loops.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/no_loops.pl @@ -377,3 +377,4 @@ each_call_cleanup(trie_insert(Trie, Key, 1),Call,trie_insert(Trie, Key, 0)). */ + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/no_repeats.pl b/libraries/logicmoo_utils/prolog/logicmoo/no_repeats.pl index a6d1f14df42..3f45dd917e5 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/no_repeats.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/no_repeats.pl @@ -483,3 +483,4 @@ nr_test((-1),1). + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/old_loop_check.pl b/libraries/logicmoo_utils/prolog/logicmoo/old_loop_check.pl index 0dc38163bc7..af7639d0c7d 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/old_loop_check.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/old_loop_check.pl @@ -296,3 +296,4 @@ :- multifile system:goal_expansion/2. system:goal_expansion(LC,Pos,LCO,Pos):- compound(LC),lco_goal_expansion(LC,LCO)->LC\=@=LCO. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/portray_vars.pl b/libraries/logicmoo_utils/prolog/logicmoo/portray_vars.pl index 35279b72973..a23291f037a 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/portray_vars.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/portray_vars.pl @@ -1114,3 +1114,4 @@ :- nb_setval('$variable_names',[]). + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/predicate_inheritance.pl b/libraries/logicmoo_utils/prolog/logicmoo/predicate_inheritance.pl index 3335bd49a07..37cab0927a3 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/predicate_inheritance.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/predicate_inheritance.pl @@ -872,3 +872,4 @@ notrace((nb_current('$term', Term),In == Term ; (Term=(Head:-_),In == Head))), expand_globals(In,Out),P=PO. */ + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/pretty_clauses.pl b/libraries/logicmoo_utils/prolog/logicmoo/pretty_clauses.pl index f3622cf8251..0c24926f899 100644 --- a/libraries/logicmoo_utils/prolog/logicmoo/pretty_clauses.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/pretty_clauses.pl @@ -3396,3 +3396,4 @@ user:portray(Term):- %fail, notrace(pc_portray(Term)),!. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/redo_locally.pl b/libraries/logicmoo_utils/prolog/logicmoo/redo_locally.pl index 780b05958d2..f89e00ae436 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/redo_locally.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/redo_locally.pl @@ -297,3 +297,4 @@ :- fixup_exports. :- endif. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/subclause_expansion.pl b/libraries/logicmoo_utils/prolog/logicmoo/subclause_expansion.pl index c27a53d589c..1fc927e99ca 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/subclause_expansion.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/subclause_expansion.pl @@ -189,3 +189,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/test_tcf.pl b/libraries/logicmoo_utils/prolog/logicmoo/test_tcf.pl index 0003ce2b67a..279db4aafbc 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/test_tcf.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/test_tcf.pl @@ -143,3 +143,4 @@ */ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/toplevel_variable_names.pl b/libraries/logicmoo_utils/prolog/logicmoo/toplevel_variable_names.pl index d8a5996f3ef..3f6a35cc3ca 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/toplevel_variable_names.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/toplevel_variable_names.pl @@ -33,3 +33,4 @@ */ + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/util_bb_env.pl b/libraries/logicmoo_utils/prolog/logicmoo/util_bb_env.pl index c8d8516f3e6..00520935da0 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/util_bb_env.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/util_bb_env.pl @@ -490,3 +490,4 @@ */ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/util_bb_frame.pl b/libraries/logicmoo_utils/prolog/logicmoo/util_bb_frame.pl index 4d93edd51de..d66a8ea53d9 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/util_bb_frame.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/util_bb_frame.pl @@ -364,3 +364,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/util_bb_gvar.pl b/libraries/logicmoo_utils/prolog/logicmoo/util_bb_gvar.pl index 66fd9b3acf8..c9471e3cea3 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/util_bb_gvar.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/util_bb_gvar.pl @@ -122,3 +122,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/util_ctx_frame.pl b/libraries/logicmoo_utils/prolog/logicmoo/util_ctx_frame.pl index 2501c20fdad..d0bcb0aa3f5 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/util_ctx_frame.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/util_ctx_frame.pl @@ -598,3 +598,4 @@ % copy_term_numvars(OLD,NEWO):-copy_term_nat(OLD,NEW),numbervars(NEW,0,_),!,NEW=NEWO. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/util_dlist.pl b/libraries/logicmoo_utils/prolog/logicmoo/util_dlist.pl index 50f8baf0c04..83e9d23c86e 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/util_dlist.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/util_dlist.pl @@ -286,3 +286,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/util_dra.pl b/libraries/logicmoo_utils/prolog/logicmoo/util_dra.pl index 3e97ab84608..7f2bb1943d8 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/util_dra.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/util_dra.pl @@ -87,3 +87,4 @@ + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/util_engines.pl b/libraries/logicmoo_utils/prolog/logicmoo/util_engines.pl index cc504f8deae..191c2e6bf2f 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/util_engines.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/util_engines.pl @@ -151,3 +151,4 @@ ). + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/util_strings.pl b/libraries/logicmoo_utils/prolog/logicmoo/util_strings.pl index 3c8abb86603..3fe07a5aefa 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/util_strings.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/util_strings.pl @@ -2205,3 +2205,4 @@ ^ Exit: (162) [baseKB] logicmoo_util_strings:convert_to_cycString(hi, "hi") O = "hi". + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/util_structs.pl b/libraries/logicmoo_utils/prolog/logicmoo/util_structs.pl index fb9b9fc7d2c..73fb643fec9 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/util_structs.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/util_structs.pl @@ -880,3 +880,4 @@ new_struct(Name,mutable(O)):- dict_create(O,Name,[]),!. */ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/util_varnames.pl b/libraries/logicmoo_utils/prolog/logicmoo/util_varnames.pl index 9171f440b5c..2f2af9357af 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/util_varnames.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/util_varnames.pl @@ -1486,3 +1486,4 @@ % % % % OFF :- system:use_module(library(logicmoo_utils_all)). system:term_expansion((H:-B),_):- current_prolog_flag(source_variables,true),term_expansion_save_vars((H:-B)),fail. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/virtualize_source.pl b/libraries/logicmoo_utils/prolog/logicmoo/virtualize_source.pl index da8596c5607..1b6f5c77f27 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/virtualize_source.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/virtualize_source.pl @@ -856,3 +856,4 @@ :- endif. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/with_no_x.pl b/libraries/logicmoo_utils/prolog/logicmoo/with_no_x.pl index e783feb77e9..8cab1d37098 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/with_no_x.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/with_no_x.pl @@ -68,3 +68,4 @@ with_no_xdbg(G):- with_no_x(G). + diff --git a/libraries/logicmoo_utils/prolog/logicmoo/xml_reader.pl b/libraries/logicmoo_utils/prolog/logicmoo/xml_reader.pl index ffd5e4136da..4bc10870c34 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo/xml_reader.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo/xml_reader.pl @@ -329,3 +329,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo_common.pl b/libraries/logicmoo_utils/prolog/logicmoo_common.pl index fe87d992898..3c188f9bfc1 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo_common.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo_common.pl @@ -49,3 +49,4 @@ :- system:reexport(library(logicmoo/util_bb_gvar)). % :- system:reexport(library(xlisting/xlisting_web)). */ + diff --git a/libraries/logicmoo_utils/prolog/logicmoo_lib.pl b/libraries/logicmoo_utils/prolog/logicmoo_lib.pl index 5b2a7de777f..632a12d8f50 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo_lib.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo_lib.pl @@ -379,3 +379,4 @@ %:- load_library_system(pack(logicmoo_base/t/examples/pfc/'sanity_foob.pfc')). + diff --git a/libraries/logicmoo_utils/prolog/logicmoo_packs.pl b/libraries/logicmoo_utils/prolog/logicmoo_packs.pl index 9da5348e664..cc9b7aba816 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo_packs.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo_packs.pl @@ -54,3 +54,4 @@ :- reload_library_index. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo_remote.pl b/libraries/logicmoo_utils/prolog/logicmoo_remote.pl index 4454e3a3371..2b7157b401e 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo_remote.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo_remote.pl @@ -491,3 +491,4 @@ pengine_destroy(ID, []). :- test_remote_logicmoo2. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo_startup.pl b/libraries/logicmoo_utils/prolog/logicmoo_startup.pl index a1e20c4cb99..18e9b6035b5 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo_startup.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo_startup.pl @@ -2014,3 +2014,4 @@ :- endif. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo_test.pl b/libraries/logicmoo_utils/prolog/logicmoo_test.pl index 21070f04b74..4a79bbe2902 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo_test.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo_test.pl @@ -1181,3 +1181,4 @@ */ + diff --git a/libraries/logicmoo_utils/prolog/logicmoo_test_header.pl b/libraries/logicmoo_utils/prolog/logicmoo_test_header.pl index 10b4ea788b2..a6e3db944b1 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo_test_header.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo_test_header.pl @@ -118,3 +118,4 @@ :- endif. + diff --git a/libraries/logicmoo_utils/prolog/logicmoo_util_common.pl b/libraries/logicmoo_utils/prolog/logicmoo_util_common.pl index 5de57380980..d17b76099e7 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo_util_common.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo_util_common.pl @@ -3,3 +3,4 @@ :- reexport(library(logicmoo_common)). + diff --git a/libraries/logicmoo_utils/prolog/logicmoo_util_strings.pl b/libraries/logicmoo_utils/prolog/logicmoo_util_strings.pl index 544d0f26d0f..ba21ddba153 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo_util_strings.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo_util_strings.pl @@ -4,3 +4,4 @@ + diff --git a/libraries/logicmoo_utils/prolog/logicmoo_utils.pl b/libraries/logicmoo_utils/prolog/logicmoo_utils.pl index ffa8a3a0f1d..cd6a8f69fb2 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo_utils.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo_utils.pl @@ -31,3 +31,4 @@ :- ensure_loaded(library(logicmoo_startup)). + diff --git a/libraries/logicmoo_utils/prolog/logicmoo_utils_all.pl b/libraries/logicmoo_utils/prolog/logicmoo_utils_all.pl index a424b2753a2..1d807973f3b 100755 --- a/libraries/logicmoo_utils/prolog/logicmoo_utils_all.pl +++ b/libraries/logicmoo_utils/prolog/logicmoo_utils_all.pl @@ -30,3 +30,4 @@ :- reexport(library(logicmoo_common)). + diff --git a/libraries/logicmoo_utils/prolog/loop_check.pl b/libraries/logicmoo_utils/prolog/loop_check.pl index 7cc452a66a4..cf528c8006b 100755 --- a/libraries/logicmoo_utils/prolog/loop_check.pl +++ b/libraries/logicmoo_utils/prolog/loop_check.pl @@ -2,3 +2,4 @@ :- reexport(library(logicmoo_common)). + diff --git a/libraries/logicmoo_utils/prolog/multimodal_dcg.pl b/libraries/logicmoo_utils/prolog/multimodal_dcg.pl index 0df42091922..61739f53462 100755 --- a/libraries/logicmoo_utils/prolog/multimodal_dcg.pl +++ b/libraries/logicmoo_utils/prolog/multimodal_dcg.pl @@ -17,3 +17,4 @@ :- reexport(logicmoo/dcg_meta). :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/multivar.pl b/libraries/logicmoo_utils/prolog/multivar.pl index 8d9cb61bc9c..8b6cc099a9d 100755 --- a/libraries/logicmoo_utils/prolog/multivar.pl +++ b/libraries/logicmoo_utils/prolog/multivar.pl @@ -555,3 +555,4 @@ ic_text/1, xvarx/1, is_mv/1, multivar/1)). :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/multivar/answer_sources.pl b/libraries/logicmoo_utils/prolog/multivar/answer_sources.pl index 625cf09b8c2..f9a77c958f2 100755 --- a/libraries/logicmoo_utils/prolog/multivar/answer_sources.pl +++ b/libraries/logicmoo_utils/prolog/multivar/answer_sources.pl @@ -953,3 +953,4 @@ ord_union(L1, L2, Ordered), member(A, Ordered). + diff --git a/libraries/logicmoo_utils/prolog/multivar/multivar_v1.pl b/libraries/logicmoo_utils/prolog/multivar/multivar_v1.pl index f172a78965f..c69e7854743 100755 --- a/libraries/logicmoo_utils/prolog/multivar/multivar_v1.pl +++ b/libraries/logicmoo_utils/prolog/multivar/multivar_v1.pl @@ -465,3 +465,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/multivar/neg.pl b/libraries/logicmoo_utils/prolog/multivar/neg.pl index f07663483a8..e3a39602a04 100755 --- a/libraries/logicmoo_utils/prolog/multivar/neg.pl +++ b/libraries/logicmoo_utils/prolog/multivar/neg.pl @@ -227,3 +227,4 @@ every(E, member(E,L), duplicated(E,L)) ]. + diff --git a/libraries/logicmoo_utils/prolog/multivar/stlc.pl b/libraries/logicmoo_utils/prolog/multivar/stlc.pl index e5ba5a43181..395e028419e 100755 --- a/libraries/logicmoo_utils/prolog/multivar/stlc.pl +++ b/libraries/logicmoo_utils/prolog/multivar/stlc.pl @@ -26,3 +26,4 @@ derives(disj_i2(D), Gamma, disj(Phi, Psi)) :- derives(D, Gamma, Psi). derives(disj_e(A, B, C), Gamma, Xi) :- derives(A, Gamma, disj(Phi, Psi)), derives(B, [Phi | Gamma], Xi), derives(C, [Psi | Gamma], Xi). + diff --git a/libraries/logicmoo_utils/prolog/multivar/subvar_inherit.pl b/libraries/logicmoo_utils/prolog/multivar/subvar_inherit.pl index 0f52b773c1e..b5db0cdb4b6 100755 --- a/libraries/logicmoo_utils/prolog/multivar/subvar_inherit.pl +++ b/libraries/logicmoo_utils/prolog/multivar/subvar_inherit.pl @@ -101,3 +101,4 @@ list_to_lst(F/A,Tmpl):-!,assertion((atom(F),integer(A))),functor(Tmpl,F,A). list_to_lst(Tmpl,Tmpl). + diff --git a/libraries/logicmoo_utils/prolog/multivar/t/sanity_tests.pl b/libraries/logicmoo_utils/prolog/multivar/t/sanity_tests.pl index 4ab91d0d236..e6880d2bd3a 100755 --- a/libraries/logicmoo_utils/prolog/multivar/t/sanity_tests.pl +++ b/libraries/logicmoo_utils/prolog/multivar/t/sanity_tests.pl @@ -74,3 +74,4 @@ ?- + diff --git a/libraries/logicmoo_utils/prolog/multivar/term_override.pl b/libraries/logicmoo_utils/prolog/multivar/term_override.pl index c26f8beb19b..adb6f5c8e9a 100755 --- a/libraries/logicmoo_utils/prolog/multivar/term_override.pl +++ b/libraries/logicmoo_utils/prolog/multivar/term_override.pl @@ -35,3 +35,4 @@ extendable_compound(_{},Dict). + diff --git a/libraries/logicmoo_utils/prolog/multivar/vhar.pl b/libraries/logicmoo_utils/prolog/multivar/vhar.pl index 01cc117033e..3a8909d03ae 100755 --- a/libraries/logicmoo_utils/prolog/multivar/vhar.pl +++ b/libraries/logicmoo_utils/prolog/multivar/vhar.pl @@ -70,3 +70,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/multivar/vprox.pl b/libraries/logicmoo_utils/prolog/multivar/vprox.pl index 02d0a7b1095..12b14ca6fbe 100755 --- a/libraries/logicmoo_utils/prolog/multivar/vprox.pl +++ b/libraries/logicmoo_utils/prolog/multivar/vprox.pl @@ -100,3 +100,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/must_sanity.pl b/libraries/logicmoo_utils/prolog/must_sanity.pl index 3c85ede18f9..236cbe1829f 100755 --- a/libraries/logicmoo_utils/prolog/must_sanity.pl +++ b/libraries/logicmoo_utils/prolog/must_sanity.pl @@ -363,3 +363,4 @@ + diff --git a/libraries/logicmoo_utils/prolog/must_trace.pl b/libraries/logicmoo_utils/prolog/must_trace.pl index 0af32328884..ffcbb683cef 100755 --- a/libraries/logicmoo_utils/prolog/must_trace.pl +++ b/libraries/logicmoo_utils/prolog/must_trace.pl @@ -10,3 +10,4 @@ */ :- reexport(library(logicmoo_common)). + diff --git a/libraries/logicmoo_utils/prolog/script_files.pl b/libraries/logicmoo_utils/prolog/script_files.pl index 25ba7cadc27..0a4d148d45e 100755 --- a/libraries/logicmoo_utils/prolog/script_files.pl +++ b/libraries/logicmoo_utils/prolog/script_files.pl @@ -376,3 +376,4 @@ % :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/shared_test_header.pl b/libraries/logicmoo_utils/prolog/shared_test_header.pl index 43a8fac9759..c92639272d1 100755 --- a/libraries/logicmoo_utils/prolog/shared_test_header.pl +++ b/libraries/logicmoo_utils/prolog/shared_test_header.pl @@ -8,3 +8,4 @@ assert(system:break :- (dumpST, sleep(1))))). :- endif. :- endif. + diff --git a/libraries/logicmoo_utils/prolog/xlisting.pl b/libraries/logicmoo_utils/prolog/xlisting.pl index 7eb6a410882..91a50e2203b 100755 --- a/libraries/logicmoo_utils/prolog/xlisting.pl +++ b/libraries/logicmoo_utils/prolog/xlisting.pl @@ -17,3 +17,4 @@ + diff --git a/libraries/logicmoo_utils/prolog/xlisting/mpred_pldoc_util.pl b/libraries/logicmoo_utils/prolog/xlisting/mpred_pldoc_util.pl index 3d39cb6f185..f30bf552615 100755 --- a/libraries/logicmoo_utils/prolog/xlisting/mpred_pldoc_util.pl +++ b/libraries/logicmoo_utils/prolog/xlisting/mpred_pldoc_util.pl @@ -801,3 +801,4 @@ + diff --git a/libraries/logicmoo_utils/prolog/xlisting/mpred_rdf.pl b/libraries/logicmoo_utils/prolog/xlisting/mpred_rdf.pl index 4010186b652..4de032f8458 100755 --- a/libraries/logicmoo_utils/prolog/xlisting/mpred_rdf.pl +++ b/libraries/logicmoo_utils/prolog/xlisting/mpred_rdf.pl @@ -705,3 +705,4 @@ mpred_online:semweb_startup:- asserta_if_new(baseKB:call_OnEachLoad(sync_to_rdf)). mpred_online:semweb_startup:- asserta_if_new(baseKB:call_OnEachLoad(sync_from_rdf)). + diff --git a/libraries/logicmoo_utils/prolog/xlisting/swish_lib/render/html.pl b/libraries/logicmoo_utils/prolog/xlisting/swish_lib/render/html.pl index 412324954ef..a6300173c63 100755 --- a/libraries/logicmoo_utils/prolog/xlisting/swish_lib/render/html.pl +++ b/libraries/logicmoo_utils/prolog/xlisting/swish_lib/render/html.pl @@ -33,3 +33,4 @@ term_rendering(Term, _Vars, _Options) --> {compound(Term),Term=html(_)}, html(Term). :- endif. + diff --git a/libraries/logicmoo_utils/prolog/xlisting/xlisting_console.pl b/libraries/logicmoo_utils/prolog/xlisting/xlisting_console.pl index cbfaa4a7449..0998142bfe0 100755 --- a/libraries/logicmoo_utils/prolog/xlisting/xlisting_console.pl +++ b/libraries/logicmoo_utils/prolog/xlisting/xlisting_console.pl @@ -1818,3 +1818,4 @@ :- fixup_exports. + diff --git a/libraries/logicmoo_utils/prolog/xlisting/xlisting_hooks.pl b/libraries/logicmoo_utils/prolog/xlisting/xlisting_hooks.pl index 0442ecd6b1e..fa5964a3efd 100755 --- a/libraries/logicmoo_utils/prolog/xlisting/xlisting_hooks.pl +++ b/libraries/logicmoo_utils/prolog/xlisting/xlisting_hooks.pl @@ -149,3 +149,4 @@ :- endif. + diff --git a/libraries/logicmoo_utils/prolog/xlisting/xlisting_web.pfc.pl b/libraries/logicmoo_utils/prolog/xlisting/xlisting_web.pfc.pl index 7d0bcc25596..e8660289fae 100755 --- a/libraries/logicmoo_utils/prolog/xlisting/xlisting_web.pfc.pl +++ b/libraries/logicmoo_utils/prolog/xlisting/xlisting_web.pfc.pl @@ -186,3 +186,4 @@ xaction_menu_item('NonMonotonic',"Treat $item NonMonotonic"). + diff --git a/libraries/logicmoo_utils/prolog/xlisting/xlisting_web.pl b/libraries/logicmoo_utils/prolog/xlisting/xlisting_web.pl index f9ad69d741b..a8c99f65b31 100755 --- a/libraries/logicmoo_utils/prolog/xlisting/xlisting_web.pl +++ b/libraries/logicmoo_utils/prolog/xlisting/xlisting_web.pl @@ -3562,3 +3562,4 @@ [12:50 PM] dmiles: The underlying problem was that customers needed a program that will help simulate life scenarios with them .. and LMs just couldn't update on micro-levels at the rapid rate in which is needed.. Worse yet, an AGI needs even a more rapid updating system than a customer would for it's internal imaginary states in which it build ideas from [12:50 PM] dmiles: Also, on the commercial product that uses LMs (that i am helping with) we would (to upgrade the system) have to still run all of its input and output thru the Cyc system to vet its wild hairs (protect the customers by helping the system not meander so far off the customer's path).. So far we used Cyc add to the customers "prime"-ing we send to the LM process. Although it has vastly improved the LM (by magnitudes by helping the LM hone the context), it still is not enough for the simulation the customer needs. You find that when the LM is missing content.. nothing you do in priming will ever be enough to help */ + diff --git a/libraries/logicmoo_utils/prolog/xlisting/xlisting_web_cm.pl b/libraries/logicmoo_utils/prolog/xlisting/xlisting_web_cm.pl index 0f395ea6522..402e8adfeeb 100755 --- a/libraries/logicmoo_utils/prolog/xlisting/xlisting_web_cm.pl +++ b/libraries/logicmoo_utils/prolog/xlisting/xlisting_web_cm.pl @@ -802,3 +802,4 @@ as [ ] for temples, * * for shops, etc. ')),!. + diff --git a/libraries/logicmoo_utils/prolog/xlisting/xlisting_web_sanity_tests.pl b/libraries/logicmoo_utils/prolog/xlisting/xlisting_web_sanity_tests.pl index ea4b747c0e9..6e465575204 100755 --- a/libraries/logicmoo_utils/prolog/xlisting/xlisting_web_sanity_tests.pl +++ b/libraries/logicmoo_utils/prolog/xlisting/xlisting_web_sanity_tests.pl @@ -16,3 +16,4 @@ all_tests:- forall(test(_),true). :- listing(test(_)). + diff --git a/libraries/logicmoo_utils/prolog/xlisting/xlisting_web_server.pl b/libraries/logicmoo_utils/prolog/xlisting/xlisting_web_server.pl index f67ccea434b..58f45ab5c07 100755 --- a/libraries/logicmoo_utils/prolog/xlisting/xlisting_web_server.pl +++ b/libraries/logicmoo_utils/prolog/xlisting/xlisting_web_server.pl @@ -169,3 +169,4 @@ end_of_file. + diff --git a/libraries/logicmoo_utils/t/sanity_tests.pl b/libraries/logicmoo_utils/t/sanity_tests.pl index 973a9685a44..763972b9942 100755 --- a/libraries/logicmoo_utils/t/sanity_tests.pl +++ b/libraries/logicmoo_utils/t/sanity_tests.pl @@ -37,3 +37,4 @@ + diff --git a/libraries/logicmoo_utils/t/te_plunit_01.pl b/libraries/logicmoo_utils/t/te_plunit_01.pl index 9d3d1a8b6ee..920277d8627 100755 --- a/libraries/logicmoo_utils/t/te_plunit_01.pl +++ b/libraries/logicmoo_utils/t/te_plunit_01.pl @@ -13,3 +13,4 @@ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ATE_PLUNIT_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/ + diff --git a/libraries/logicmoo_utils/t/te_plunit_03.pl b/libraries/logicmoo_utils/t/te_plunit_03.pl index 12bb380d166..a97617ecf00 100755 --- a/libraries/logicmoo_utils/t/te_plunit_03.pl +++ b/libraries/logicmoo_utils/t/te_plunit_03.pl @@ -12,3 +12,4 @@ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ATE_PLUNIT_03 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/ + diff --git a/libraries/logicmoo_utils/t/test_on_release.sh b/libraries/logicmoo_utils/t/test_on_release.sh index 2267cba4c18..0344a8c67a2 100755 --- a/libraries/logicmoo_utils/t/test_on_release.sh +++ b/libraries/logicmoo_utils/t/test_on_release.sh @@ -26,3 +26,4 @@ CMD_TIMEOUT=5m lmoo-junit "$GLOB" ) + diff --git a/libraries/lsp_server_metta/pack.pl b/libraries/lsp_server_metta/pack.pl index 33c3c52bf5e..1b8fff1c516 100644 --- a/libraries/lsp_server_metta/pack.pl +++ b/libraries/lsp_server_metta/pack.pl @@ -4,3 +4,4 @@ author('Roy Ward', 'roy@orange-kiwi.com'). home('https://github.com/trueagi-io/metta-wam'). provides(lsp_server_metta). + diff --git a/libraries/lsp_server_metta/prolog/lsp_json_parser.pl b/libraries/lsp_server_metta/prolog/lsp_json_parser.pl index 451e19dedaa..f358ec18c62 100644 --- a/libraries/lsp_server_metta/prolog/lsp_json_parser.pl +++ b/libraries/lsp_server_metta/prolog/lsp_json_parser.pl @@ -33,3 +33,4 @@ { ground(JsonCodes), open_codes_stream(JsonCodes, JsonStream), json_read_dict(JsonStream, Body, []) }. + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_changes.pl b/libraries/lsp_server_metta/prolog/lsp_metta_changes.pl index e4f62c643db..d4888f9c7be 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_changes.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_changes.pl @@ -99,3 +99,4 @@ line([0'\n]) --> [0'\n], !. line([C|Cs]) --> [C], line(Cs). + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_checking.pl b/libraries/lsp_server_metta/prolog/lsp_metta_checking.pl index 5e82f8192e6..c4bbb360ee4 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_checking.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_checking.pl @@ -133,3 +133,4 @@ length(CharList, Count). + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_code_actions.pl b/libraries/lsp_server_metta/prolog/lsp_metta_code_actions.pl index 7595c01fc68..0eb0e0657fd 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_code_actions.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_code_actions.pl @@ -707,3 +707,4 @@ uri: Uri, % Document URI for the symbol reference range: JRange % Range within the document }. + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_colours.pl b/libraries/lsp_server_metta/prolog/lsp_metta_colours.pl index 69f09b99bef..639ba7cce56 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_colours.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_colours.pl @@ -88,3 +88,4 @@ get_document_symbol_aux2(a(L,C0,C1,Sym),FlatList) :- (get_atom_kind_name(Sym,Type,Name),Type>0 -> FlatList=[x(L,C0,C1,Type,Name)] ; FlatList=[]). get_document_symbol_aux2(_,[]). + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_completion.pl b/libraries/lsp_server_metta/prolog/lsp_metta_completion.pl index 890824162c3..fccda4be75b 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_completion.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_completion.pl @@ -448,3 +448,4 @@ + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_formater.pl b/libraries/lsp_server_metta/prolog/lsp_metta_formater.pl index f30845c16d2..ddab8052e6e 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_formater.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_formater.pl @@ -141,3 +141,4 @@ include(=(Char), Chars, CharList), length(CharList, Count). + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_hover.pl b/libraries/lsp_server_metta/prolog/lsp_metta_hover.pl index a06cccf8be9..f95f08d9176 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_hover.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_hover.pl @@ -525,3 +525,4 @@ ?- f2r(Res, [length, [1, 2, 3]], Terms), prefix_pred('mc__',Terms,TermsMC). + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_include.pl b/libraries/lsp_server_metta/prolog/lsp_metta_include.pl index bea18bb6ee1..751414eab8c 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_include.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_include.pl @@ -3,3 +3,4 @@ :- ensure_loaded(lsp_server_metta). :- ensure_loaded(lsp_server_requests). + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_outline.pl b/libraries/lsp_server_metta/prolog/lsp_metta_outline.pl index 06a69f2534c..18d849f9625 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_outline.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_outline.pl @@ -139,3 +139,4 @@ lsp_xref_kind(26, Nonvar):- nonvar(Nonvar). + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_parser.pl b/libraries/lsp_server_metta/prolog/lsp_metta_parser.pl index 83656eb19f8..0f64843e3a2 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_parser.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_parser.pl @@ -268,3 +268,4 @@ char_type(Char, space) ; % Space is a delimiter. arg(_, v('(', ')', end_of_file), Char). % Other delimiters include parentheses and end of file. + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_references.pl b/libraries/lsp_server_metta/prolog/lsp_metta_references.pl index e5fdc434d38..a73132bfedf 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_references.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_references.pl @@ -108,3 +108,4 @@ metta_relative_ref_location(ThereUri, Goal, Loc, Location). + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_save_actions.pl b/libraries/lsp_server_metta/prolog/lsp_metta_save_actions.pl index d7acc71c842..37de3717ce0 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_save_actions.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_save_actions.pl @@ -166,3 +166,4 @@ sub_atom(Line, 22, 1, _, ':'), % Check if there's a colon after the hour sub_atom(Line, 25, 1, _, ':'). % Check if there's a colon after the minute + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_split.pl b/libraries/lsp_server_metta/prolog/lsp_metta_split.pl index 67fd7cb02f4..e9da9ece5c5 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_split.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_split.pl @@ -133,3 +133,4 @@ coalesce_text_d4(SplitText,FullText) :- maplist(extract_line_entry,SplitText,Strings), concat_strings(Strings,FullText). + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_utils.pl b/libraries/lsp_server_metta/prolog/lsp_metta_utils.pl index f363b77f51e..d0957956a45 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_utils.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_utils.pl @@ -348,3 +348,4 @@ atomic_list_concat(CodeLines, '\n', Code). % Combine the extracted lines into a single code string. + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_workspace.pl b/libraries/lsp_server_metta/prolog/lsp_metta_workspace.pl index 3e85b0bdf6c..5fa186dda68 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_workspace.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_workspace.pl @@ -677,3 +677,4 @@ } }. */ + diff --git a/libraries/lsp_server_metta/prolog/lsp_metta_xref.pl b/libraries/lsp_server_metta/prolog/lsp_metta_xref.pl index 64385dbf173..1fa17547a19 100644 --- a/libraries/lsp_server_metta/prolog/lsp_metta_xref.pl +++ b/libraries/lsp_server_metta/prolog/lsp_metta_xref.pl @@ -86,3 +86,4 @@ :- fixup_exports. + diff --git a/libraries/lsp_server_metta/prolog/lsp_prolog_changes.pl b/libraries/lsp_server_metta/prolog/lsp_prolog_changes.pl index f251766c1d8..c762531cac2 100644 --- a/libraries/lsp_server_metta/prolog/lsp_prolog_changes.pl +++ b/libraries/lsp_server_metta/prolog/lsp_prolog_changes.pl @@ -72,3 +72,4 @@ line([0'\n]) --> [0'\n], !. line([C|Cs]) --> [C], line(Cs). + diff --git a/libraries/lsp_server_metta/prolog/lsp_prolog_checking.pl b/libraries/lsp_server_metta/prolog/lsp_prolog_checking.pl index d922e3b1e01..e3bc3657276 100644 --- a/libraries/lsp_server_metta/prolog/lsp_prolog_checking.pl +++ b/libraries/lsp_server_metta/prolog/lsp_prolog_checking.pl @@ -97,3 +97,4 @@ kind_level(error, 1). kind_level(warning, 2). + diff --git a/libraries/lsp_server_metta/prolog/lsp_prolog_colours.pl b/libraries/lsp_server_metta/prolog/lsp_prolog_colours.pl index d7f2de92cce..8bea4d0b29c 100644 --- a/libraries/lsp_server_metta/prolog/lsp_prolog_colours.pl +++ b/libraries/lsp_server_metta/prolog/lsp_prolog_colours.pl @@ -297,3 +297,4 @@ -> true ; colourise_terms_to_position(Queue, File, Stream, Line-Char, End) ). + diff --git a/libraries/lsp_server_metta/prolog/lsp_prolog_utils.pl b/libraries/lsp_server_metta/prolog/lsp_prolog_utils.pl index 51653ac3b29..082c0dcbc9c 100644 --- a/libraries/lsp_server_metta/prolog/lsp_prolog_utils.pl +++ b/libraries/lsp_server_metta/prolog/lsp_prolog_utils.pl @@ -327,3 +327,4 @@ + diff --git a/libraries/lsp_server_metta/prolog/lsp_server_hooks.pl b/libraries/lsp_server_metta/prolog/lsp_server_hooks.pl index 6ba867fb1bb..9fb16c30574 100644 --- a/libraries/lsp_server_metta/prolog/lsp_server_hooks.pl +++ b/libraries/lsp_server_metta/prolog/lsp_server_hooks.pl @@ -30,3 +30,4 @@ :- multifile(user:metta_file_buffer/7). :- dynamic(user:metta_file_buffer/7). + diff --git a/libraries/lsp_server_metta/prolog/lsp_server_metta.pl b/libraries/lsp_server_metta/prolog/lsp_server_metta.pl index 45d3da2bb5d..6f526335519 100644 --- a/libraries/lsp_server_metta/prolog/lsp_server_metta.pl +++ b/libraries/lsp_server_metta/prolog/lsp_server_metta.pl @@ -1011,3 +1011,4 @@ %:- initialization(restore_lsp_server_callbacks). :- after_boot(restore_lsp_server_callbacks). + diff --git a/libraries/lsp_server_metta/prolog/lsp_server_requests.pl b/libraries/lsp_server_metta/prolog/lsp_server_requests.pl index 92529565898..016d09c39cf 100644 --- a/libraries/lsp_server_metta/prolog/lsp_server_requests.pl +++ b/libraries/lsp_server_metta/prolog/lsp_server_requests.pl @@ -1137,3 +1137,4 @@ 2 ?- + diff --git a/libraries/predicate_streams/pack.pl b/libraries/predicate_streams/pack.pl index c8b01ab4a74..e12cd0ba035 100755 --- a/libraries/predicate_streams/pack.pl +++ b/libraries/predicate_streams/pack.pl @@ -7,3 +7,4 @@ maintainer( 'logicmoo', 'https://github.com/logicmoo/' ). home('https://github.com/logicmoo/predicate_streams'). autoload(true). + diff --git a/libraries/predicate_streams/prolog/broadcast_streams.pl b/libraries/predicate_streams/prolog/broadcast_streams.pl index 6ef0f93a470..874e139bd3b 100644 --- a/libraries/predicate_streams/prolog/broadcast_streams.pl +++ b/libraries/predicate_streams/prolog/broadcast_streams.pl @@ -32,3 +32,4 @@ write_to_streams(List,Data):- maplist(write_rev(Data),List). write_rev(Data,Stream):- write(Stream,Data). :- endif. + diff --git a/libraries/predicate_streams/prolog/concatenated_input_streams.pl b/libraries/predicate_streams/prolog/concatenated_input_streams.pl index 1aaaa8ac2e1..8fd364b9c8d 100644 --- a/libraries/predicate_streams/prolog/concatenated_input_streams.pl +++ b/libraries/predicate_streams/prolog/concatenated_input_streams.pl @@ -35,3 +35,4 @@ check_eof([S|List],Stream):- at_end_of_stream(S)->check_eof(List,Stream);true. check_eof([],Stream):-set_stream(Stream,end_of_stream(at)). + diff --git a/libraries/predicate_streams/prolog/predicate_streams.pl b/libraries/predicate_streams/prolog/predicate_streams.pl index fe6b5be4ae3..6305b0aa30f 100755 --- a/libraries/predicate_streams/prolog/predicate_streams.pl +++ b/libraries/predicate_streams/prolog/predicate_streams.pl @@ -446,3 +446,4 @@ % set_stream(Stream, buffer_size(1)), % useful? % set_stream(Stream, close_on_exec(true)), % useful? % set_stream(Stream, close_on_abort(true)), % useful? + diff --git a/libraries/predicate_streams/t/sanity_tests.pl b/libraries/predicate_streams/t/sanity_tests.pl index d6fb2aa05a9..6f443e4efdf 100644 --- a/libraries/predicate_streams/t/sanity_tests.pl +++ b/libraries/predicate_streams/t/sanity_tests.pl @@ -216,3 +216,4 @@ some_test :- writeln(done). + diff --git a/libraries/predicate_streams/t/test123.pl b/libraries/predicate_streams/t/test123.pl index 8821fe09090..99efab7aa47 100644 --- a/libraries/predicate_streams/t/test123.pl +++ b/libraries/predicate_streams/t/test123.pl @@ -23,3 +23,4 @@ :- with_error_to_predicate(write,ls). + diff --git a/notebooks/from_das/fetch_flybase_release.sh b/notebooks/from_das/fetch_flybase_release.sh index ccdf38fe0d9..ccd8ea07225 100755 --- a/notebooks/from_das/fetch_flybase_release.sh +++ b/notebooks/from_das/fetch_flybase_release.sh @@ -45,3 +45,4 @@ if validate_url $URL; then else echo "Couldn't find release file" fi + diff --git a/pack.pl b/pack.pl index 3f5b0a0f12f..6d536db0558 100644 --- a/pack.pl +++ b/pack.pl @@ -10,3 +10,4 @@ %requires(predicate_streams). % requires(dictoo). autoload(true). + diff --git a/prolog/metta_lang/metta_compiler.pl b/prolog/metta_lang/metta_compiler.pl index 3bf992241ac..8c2db2549ad 100755 --- a/prolog/metta_lang/metta_compiler.pl +++ b/prolog/metta_lang/metta_compiler.pl @@ -1973,3 +1973,4 @@ + diff --git a/prolog/metta_lang/metta_compiler_lib.pl b/prolog/metta_lang/metta_compiler_lib.pl index 59f6cf8c093..b85b79e75c4 100644 --- a/prolog/metta_lang/metta_compiler_lib.pl +++ b/prolog/metta_lang/metta_compiler_lib.pl @@ -47,3 +47,4 @@ mc__empty(_):-!,fail. + diff --git a/prolog/metta_lang/metta_convert.pl b/prolog/metta_lang/metta_convert.pl index 86044f23c2b..8b5ad7d124c 100755 --- a/prolog/metta_lang/metta_convert.pl +++ b/prolog/metta_lang/metta_convert.pl @@ -1741,3 +1741,4 @@ % Ensure that the MeTTa evaluation logic is loaded. :- ensure_loaded(metta_eval). + diff --git a/prolog/metta_lang/metta_corelib.pl b/prolog/metta_lang/metta_corelib.pl index 1c46738c1c5..e86dc260a71 100644 --- a/prolog/metta_lang/metta_corelib.pl +++ b/prolog/metta_lang/metta_corelib.pl @@ -4493,3 +4493,4 @@ + diff --git a/prolog/metta_lang/metta_debug.pl b/prolog/metta_lang/metta_debug.pl index 4cbbbb6d927..a4ebcb19fa8 100755 --- a/prolog/metta_lang/metta_debug.pl +++ b/prolog/metta_lang/metta_debug.pl @@ -1145,3 +1145,4 @@ :- at_halt(in_file_output(leave_comment)). % Ensure comment mode is exited at halt + diff --git a/prolog/metta_lang/metta_eval.pl b/prolog/metta_lang/metta_eval.pl index 5ebd1de6e39..115b02f460d 100755 --- a/prolog/metta_lang/metta_eval.pl +++ b/prolog/metta_lang/metta_eval.pl @@ -2904,3 +2904,4 @@ XX = [H|NewArgs],Y=XX. eval_evals(_Eq,_Depth,_Self,_RetType,X,X):-!. + diff --git a/prolog/metta_lang/metta_interp.pl b/prolog/metta_lang/metta_interp.pl index a67969d4a84..fe8bd6d1ee8 100755 --- a/prolog/metta_lang/metta_interp.pl +++ b/prolog/metta_lang/metta_interp.pl @@ -2368,3 +2368,4 @@ + diff --git a/prolog/metta_lang/metta_loader.pl b/prolog/metta_lang/metta_loader.pl index 6a8ac9b54cc..60f993856d1 100755 --- a/prolog/metta_lang/metta_loader.pl +++ b/prolog/metta_lang/metta_loader.pl @@ -3694,3 +3694,4 @@ with_output_to(string(_), include_metta_directory_file('&corelib', Dir, Filename)))), asserta(really_using_corelib_file), debug(lsp(main), "~q", [end_really_use_corelib_file(Dir, File)]). + diff --git a/prolog/metta_lang/metta_mizer.pl b/prolog/metta_lang/metta_mizer.pl index 13d9d5910e1..4c2bdbe8fa4 100755 --- a/prolog/metta_lang/metta_mizer.pl +++ b/prolog/metta_lang/metta_mizer.pl @@ -455,3 +455,4 @@ + diff --git a/prolog/metta_lang/metta_ontology.pfc.pl b/prolog/metta_lang/metta_ontology.pfc.pl index 862c6a1c06f..39e48b410d8 100755 --- a/prolog/metta_lang/metta_ontology.pfc.pl +++ b/prolog/metta_lang/metta_ontology.pfc.pl @@ -483,3 +483,4 @@ properties('&corelib','flip', [random, qhelp("Return a random boolean."), random_boolean]). + diff --git a/prolog/metta_lang/metta_parser.pl b/prolog/metta_lang/metta_parser.pl index 073ec8f5c16..5e9e83d5590 100644 --- a/prolog/metta_lang/metta_parser.pl +++ b/prolog/metta_lang/metta_parser.pl @@ -1276,3 +1276,4 @@ % Ensure the program runs upon initialization. :- initialization(main_init, main). + diff --git a/prolog/metta_lang/metta_persists.pl b/prolog/metta_lang/metta_persists.pl index 35534d6cae8..993f529737b 100644 --- a/prolog/metta_lang/metta_persists.pl +++ b/prolog/metta_lang/metta_persists.pl @@ -86,3 +86,4 @@ shutdown_persistency. + diff --git a/prolog/metta_lang/metta_pfc_base.pl b/prolog/metta_lang/metta_pfc_base.pl index 556bb69e0ac..ad07b56ef5e 100755 --- a/prolog/metta_lang/metta_pfc_base.pl +++ b/prolog/metta_lang/metta_pfc_base.pl @@ -4596,3 +4596,4 @@ nop((dumpST, pfcWarn("Couldn't retract ~p.", [X]))))), !, fail. + diff --git a/prolog/metta_lang/metta_pfc_debug.pl b/prolog/metta_lang/metta_pfc_debug.pl index 1ca767235af..f90905fef73 100644 --- a/prolog/metta_lang/metta_pfc_debug.pl +++ b/prolog/metta_lang/metta_pfc_debug.pl @@ -2796,3 +2796,4 @@ StepNo is 1 + integer(Index*10 - JustNo*10), % Calculate the step number. nth1(StepNo, Justification, Step). % Get the Step at position StepNo within the justification. + diff --git a/prolog/metta_lang/metta_pfc_support.pl b/prolog/metta_lang/metta_pfc_support.pl index e8fde495f99..9b1f794be0d 100755 --- a/prolog/metta_lang/metta_pfc_support.pl +++ b/prolog/metta_lang/metta_pfc_support.pl @@ -1720,3 +1720,4 @@ % @arg G The goal to execute. % fwithout_running(G):- (t_l:mpred_run_paused -> G ; locally_tl(mpred_run_pause,G)). + diff --git a/prolog/metta_lang/metta_printer.pl b/prolog/metta_lang/metta_printer.pl index ff12e52bfc7..b0f8bba9731 100755 --- a/prolog/metta_lang/metta_printer.pl +++ b/prolog/metta_lang/metta_printer.pl @@ -1748,3 +1748,4 @@ xlisting_console:portray_hbr(H, B, _R):- B==true, !, write_src(H). xlisting_console:portray_hbr(H, B, _R):- print_tree(H:-B). + diff --git a/prolog/metta_lang/metta_python.pl b/prolog/metta_lang/metta_python.pl index 0f14d9bc1c7..a8df8fed32c 100755 --- a/prolog/metta_lang/metta_python.pl +++ b/prolog/metta_lang/metta_python.pl @@ -2529,3 +2529,4 @@ % no more vars left to replace subst_each_var(_,TermIO,TermIO). + diff --git a/prolog/metta_lang/metta_repl.pl b/prolog/metta_lang/metta_repl.pl index 6caf9c97516..81cf00ee354 100755 --- a/prolog/metta_lang/metta_repl.pl +++ b/prolog/metta_lang/metta_repl.pl @@ -2322,3 +2322,4 @@ writeln('(I) info - Show information about the current state.'), !. + diff --git a/prolog/metta_lang/metta_runtime.pl b/prolog/metta_lang/metta_runtime.pl index 5ebe1c14e0b..4af6bf93ad4 100644 --- a/prolog/metta_lang/metta_runtime.pl +++ b/prolog/metta_lang/metta_runtime.pl @@ -30,3 +30,4 @@ % Start interpreter code :- user:loon. + diff --git a/prolog/metta_lang/metta_server.pl b/prolog/metta_lang/metta_server.pl index 4a42a67ecdc..7d87ebfe79b 100755 --- a/prolog/metta_lang/metta_server.pl +++ b/prolog/metta_lang/metta_server.pl @@ -1177,3 +1177,4 @@ % Automatically start the server at initialization, ensuring only one server is started :- initialization(start_dbg_telnet). + diff --git a/prolog/metta_lang/metta_space.pl b/prolog/metta_lang/metta_space.pl index 969f6c139d2..aeaa6be1cad 100755 --- a/prolog/metta_lang/metta_space.pl +++ b/prolog/metta_lang/metta_space.pl @@ -2325,3 +2325,4 @@ What =@= What0, % Check structural equivalence. % If the terms are non-variable, unify them. (nonvar(What) -> What = What0; What == What0). + diff --git a/prolog/metta_lang/metta_subst.pl b/prolog/metta_lang/metta_subst.pl index 64c6cfc504f..59b13682fd4 100755 --- a/prolog/metta_lang/metta_subst.pl +++ b/prolog/metta_lang/metta_subst.pl @@ -930,3 +930,4 @@ %setof_subst(Depth,Self,X,S):- setof(E,subst_args(Eq,RetType,Depth,Self,X,E),S)*->true;S=[]. + diff --git a/prolog/metta_lang/metta_testing.pl b/prolog/metta_lang/metta_testing.pl index f06bba75beb..95bfa7a13c5 100755 --- a/prolog/metta_lang/metta_testing.pl +++ b/prolog/metta_lang/metta_testing.pl @@ -2377,3 +2377,4 @@ assert_eq!(result, bind_set![{object: expr!("baloon"), color: expr!("blue")}]); } + diff --git a/prolog/metta_lang/metta_threads.pl b/prolog/metta_lang/metta_threads.pl index 26171dd85f6..5774ec5d5c9 100755 --- a/prolog/metta_lang/metta_threads.pl +++ b/prolog/metta_lang/metta_threads.pl @@ -458,4 +458,4 @@ ). await(lazy_thunk(Goal)) :- % For lazy evaluation, execute the goal directly when `await/1` is called. - call(Goal). \ No newline at end of file + call(Goal). diff --git a/prolog/metta_lang/metta_types.pl b/prolog/metta_lang/metta_types.pl index 10b2b168c11..4bc87550e47 100755 --- a/prolog/metta_lang/metta_types.pl +++ b/prolog/metta_lang/metta_types.pl @@ -2220,3 +2220,4 @@ + diff --git a/prolog/metta_lang/metta_utils.pl b/prolog/metta_lang/metta_utils.pl index 6ba1e44c61e..0a36cf0eda6 100755 --- a/prolog/metta_lang/metta_utils.pl +++ b/prolog/metta_lang/metta_utils.pl @@ -5428,3 +5428,4 @@ ignore_numvars(Name='$VAR'(Name)). + diff --git a/prolog/metta_lang/swi_support.pl b/prolog/metta_lang/swi_support.pl index 34a8f2b4cb3..ba11db40559 100755 --- a/prolog/metta_lang/swi_support.pl +++ b/prolog/metta_lang/swi_support.pl @@ -871,3 +871,4 @@ add_history(_). :- endif. + diff --git a/prolog/metta_lsp.pl b/prolog/metta_lsp.pl index 3813c2f820a..0fa0b23abcb 100644 --- a/prolog/metta_lsp.pl +++ b/prolog/metta_lsp.pl @@ -14,3 +14,4 @@ :- use_module(library(lsp_server_metta)). + diff --git a/prolog/metta_rt.pl b/prolog/metta_rt.pl index e40b22cb36a..5bc0321eade 100644 --- a/prolog/metta_rt.pl +++ b/prolog/metta_rt.pl @@ -8,3 +8,4 @@ pack_attach(PS,[duplicate(replace),search(first)]), pack_attach(LU,[duplicate(replace),search(first)]), pack_attach(LSP,[duplicate(replace),search(first)]). + diff --git a/prolog/mettalog.pl b/prolog/mettalog.pl index 55f22e21083..9f4149a195e 100644 --- a/prolog/mettalog.pl +++ b/prolog/mettalog.pl @@ -1,2 +1,3 @@ :- ensure_loaded(metta_lang/metta_interp). + diff --git a/scripts/1-VSpaceTest.metta b/scripts/1-VSpaceTest.metta index 516415810c0..96f01d484cb 100755 --- a/scripts/1-VSpaceTest.metta +++ b/scripts/1-VSpaceTest.metta @@ -12,3 +12,4 @@ ;!(mettalog::vspace-main (1 2 3)) + diff --git a/scripts/2-VSpaceTest.metta b/scripts/2-VSpaceTest.metta index 1e5c0987ca8..ebb830c3e43 100755 --- a/scripts/2-VSpaceTest.metta +++ b/scripts/2-VSpaceTest.metta @@ -111,3 +111,4 @@ !(mettalog::vspace-main) + diff --git a/scripts/3-Learn-Rules.metta b/scripts/3-Learn-Rules.metta index cf2df287558..782f2099487 100755 --- a/scripts/3-Learn-Rules.metta +++ b/scripts/3-Learn-Rules.metta @@ -116,3 +116,4 @@ !(mettalog::vspace-main) + diff --git a/scripts/4-VSpaceTest.metta b/scripts/4-VSpaceTest.metta index 4ba51b695e7..d31044f2586 100755 --- a/scripts/4-VSpaceTest.metta +++ b/scripts/4-VSpaceTest.metta @@ -50,3 +50,4 @@ !(mettalog::vspace-main) + diff --git a/scripts/5-Learn-Flybase.metta b/scripts/5-Learn-Flybase.metta index 9f33374f60c..7e14a91953e 100755 --- a/scripts/5-Learn-Flybase.metta +++ b/scripts/5-Learn-Flybase.metta @@ -73,3 +73,4 @@ + diff --git a/scripts/6-Learn-Flybase-Full.metta b/scripts/6-Learn-Flybase-Full.metta index fea676a2414..10c67f17e72 100755 --- a/scripts/6-Learn-Flybase-Full.metta +++ b/scripts/6-Learn-Flybase-Full.metta @@ -62,3 +62,4 @@ !(my-match &self $s $s) !(mettalog::vspace-main) + diff --git a/scripts/7-FlybaseResults.metta b/scripts/7-FlybaseResults.metta index 5b6e7c41c19..7a60701884d 100755 --- a/scripts/7-FlybaseResults.metta +++ b/scripts/7-FlybaseResults.metta @@ -13,3 +13,4 @@ + diff --git a/scripts/8-FlybaseQuestions.metta b/scripts/8-FlybaseQuestions.metta index b71dd2b081e..ff969f14617 100755 --- a/scripts/8-FlybaseQuestions.metta +++ b/scripts/8-FlybaseQuestions.metta @@ -1005,3 +1005,4 @@ (arity obo-transposon-synonyms 2) (arity obo-url 1) + diff --git a/scripts/Defragmenter.py b/scripts/Defragmenter.py index dbcdf2e111f..01e1d2f8145 100644 --- a/scripts/Defragmenter.py +++ b/scripts/Defragmenter.py @@ -72,4 +72,4 @@ def main(): sys.exit(1) if __name__ == "__main__": - main() \ No newline at end of file + main() diff --git a/scripts/Rebuild-hyperon.cmd b/scripts/Rebuild-hyperon.cmd index 1f5e59c1483..1792f5a246e 100755 --- a/scripts/Rebuild-hyperon.cmd +++ b/scripts/Rebuild-hyperon.cmd @@ -61,3 +61,4 @@ cd %VSPACE% cd /D %OLDPATH% + diff --git a/scripts/add_lines.sh b/scripts/add_lines.sh index 50911989f0b..e95f771c5ae 100755 --- a/scripts/add_lines.sh +++ b/scripts/add_lines.sh @@ -31,3 +31,5 @@ done < "$file2" echo "Lines added: $lines_added" echo "Lines skipped: $lines_skipped" + + diff --git a/scripts/chado_to_tsv.sh b/scripts/chado_to_tsv.sh index e05c712aa04..124b67320d4 100755 --- a/scripts/chado_to_tsv.sh +++ b/scripts/chado_to_tsv.sh @@ -102,3 +102,5 @@ done echo "Column names written to $output_file" ) + + diff --git a/scripts/checkout_commits.sh b/scripts/checkout_commits.sh index 2d55416eea1..3b9535a7892 100755 --- a/scripts/checkout_commits.sh +++ b/scripts/checkout_commits.sh @@ -80,3 +80,5 @@ done echo "Finished checking out commits within the last $days_to_go_back days with a limit of $max_checkouts_per_day per day." + + diff --git a/scripts/cmd_as_test.sh b/scripts/cmd_as_test.sh index 88906481b25..1996b7a9551 100755 --- a/scripts/cmd_as_test.sh +++ b/scripts/cmd_as_test.sh @@ -73,3 +73,5 @@ fi return $TEST_EXIT_CODE + + diff --git a/scripts/colorize_output.sh b/scripts/colorize_output.sh index b9bc8dd4e6b..43a563540c9 100755 --- a/scripts/colorize_output.sh +++ b/scripts/colorize_output.sh @@ -18,3 +18,5 @@ cmd="$@" echo "Command failed to execute properly." } + + diff --git a/scripts/convert_to_metta.sh b/scripts/convert_to_metta.sh index 84ebb2455c6..b1351dba116 100755 --- a/scripts/convert_to_metta.sh +++ b/scripts/convert_to_metta.sh @@ -192,3 +192,5 @@ for INPUT_PATH in "${ARGS[@]}"; do fi done + + diff --git a/scripts/ensure_venv b/scripts/ensure_venv index 66d27910592..bf700d06669 100755 --- a/scripts/ensure_venv +++ b/scripts/ensure_venv @@ -118,3 +118,4 @@ fi #log 2 "Executing the main script logic..." + diff --git a/scripts/envvars_mettalog.sh b/scripts/envvars_mettalog.sh index 0dc977c1aa4..a1f1da191af 100755 --- a/scripts/envvars_mettalog.sh +++ b/scripts/envvars_mettalog.sh @@ -234,3 +234,5 @@ complete -F _mettalog_autocomplete MeTTa + + diff --git a/scripts/flybase_setup.sh b/scripts/flybase_setup.sh index 07d88697a71..1181e153587 100755 --- a/scripts/flybase_setup.sh +++ b/scripts/flybase_setup.sh @@ -375,3 +375,5 @@ fi fi + + diff --git a/scripts/generate_allure_environment.py b/scripts/generate_allure_environment.py index 8e22563901b..b1f9ff2b01b 100644 --- a/scripts/generate_allure_environment.py +++ b/scripts/generate_allure_environment.py @@ -63,3 +63,4 @@ def sort_and_print_props(final_props, priority_keys): # Print out the generated properties sort_and_print_props(final_props, list(git_info.keys())) + diff --git a/scripts/generate_allure_executor.py b/scripts/generate_allure_executor.py index 73bf4e63a4b..cb96663a8e6 100644 --- a/scripts/generate_allure_executor.py +++ b/scripts/generate_allure_executor.py @@ -12,4 +12,4 @@ data['buildUrl'] = '{}/{}/actions/runs/{}'.format(server_url, repo, run_id) data['buildName'] = 'GitHub Actions Run #{}'.format(run_id) - print(json.dumps(data)) \ No newline at end of file + print(json.dumps(data)) diff --git a/scripts/html_pass_fail.sh b/scripts/html_pass_fail.sh index 71b4e29e2b5..915bc07ed53 100755 --- a/scripts/html_pass_fail.sh +++ b/scripts/html_pass_fail.sh @@ -114,3 +114,5 @@ rm "$temp_file" # Clean up the temporary file rm file_info.tmp # Clean up temporary file + + diff --git a/scripts/into_junit.py b/scripts/into_junit.py index 6e497348cf7..eb9056f8e51 100644 --- a/scripts/into_junit.py +++ b/scripts/into_junit.py @@ -125,3 +125,4 @@ def generate_junit_xml(input_file, timestamp, move_filesP): move_filesP = sys.argv[3] junit_xml = generate_junit_xml(input_file, timestamp, move_filesP) print(junit_xml) + diff --git a/scripts/jenkins_install_and_run.sh b/scripts/jenkins_install_and_run.sh index e69de29bb2d..139597f9cb0 100755 --- a/scripts/jenkins_install_and_run.sh +++ b/scripts/jenkins_install_and_run.sh @@ -0,0 +1,2 @@ + + diff --git a/scripts/lsp_server_prolog_install.sh b/scripts/lsp_server_prolog_install.sh index 374a168fbaa..ab908abc039 100755 --- a/scripts/lsp_server_prolog_install.sh +++ b/scripts/lsp_server_prolog_install.sh @@ -99,3 +99,5 @@ for dir in "$SOURCE_DIR"/*/; do echo "Directory not found or glob did not expand: $dir" fi done + + diff --git a/scripts/metta-jupyter-kernel b/scripts/metta-jupyter-kernel index 93d1a7807b6..67a2ab76a5a 100755 --- a/scripts/metta-jupyter-kernel +++ b/scripts/metta-jupyter-kernel @@ -11,3 +11,4 @@ else: extra_args = sys.argv[1:] sys.argv[:] = args + extra_args jupyter_core.command.main() + diff --git a/scripts/metta-jupyter-kernel-debug b/scripts/metta-jupyter-kernel-debug index 1e42f0db6ff..7d63837c1e7 100755 --- a/scripts/metta-jupyter-kernel-debug +++ b/scripts/metta-jupyter-kernel-debug @@ -9,3 +9,4 @@ sys.argv.append("-i") calysto_scheme.scheme.ENVIRONMENT["DEBUG"] = True calysto_scheme.scheme.main() + diff --git a/scripts/mettalog-docker b/scripts/mettalog-docker index 2e34234e38c..b12ed9a93a7 100755 --- a/scripts/mettalog-docker +++ b/scripts/mettalog-docker @@ -72,3 +72,4 @@ else fi + diff --git a/scripts/mettalog-python b/scripts/mettalog-python index 58dd2bbab99..cb594d3e536 100755 --- a/scripts/mettalog-python +++ b/scripts/mettalog-python @@ -172,4 +172,4 @@ fi python3 src/mettalog.py $@ #python3 src/mettalog_no_panda.py $@ -deactivate \ No newline at end of file +deactivate diff --git a/scripts/mettalog.cmd b/scripts/mettalog.cmd index 0d89461f2f8..097d926fb50 100644 --- a/scripts/mettalog.cmd +++ b/scripts/mettalog.cmd @@ -38,3 +38,4 @@ IF "!FILE_FOUND!"=="0" IF "!REPL_FOUND!"=="0" ( REM Run the command with all arguments swipl -l "%METTALOG_DIR%src\main\metta_interp.pl" -- --python=false !ALL_ARGS! + diff --git a/scripts/old_test_in_metta2.sh b/scripts/old_test_in_metta2.sh index 01654833fc9..4676b881be3 100755 --- a/scripts/old_test_in_metta2.sh +++ b/scripts/old_test_in_metta2.sh @@ -808,3 +808,5 @@ function compare_test_files() { + + diff --git a/scripts/open-metta-file.reg b/scripts/open-metta-file.reg index 7d3d40b4be0..22f2018ed98 100755 --- a/scripts/open-metta-file.reg +++ b/scripts/open-metta-file.reg @@ -26,4 +26,4 @@ Windows Registry Editor Version 5.00 @="Edit with Notepad" [HKEY_CLASSES_ROOT\MettaFile\shell\edit\command] -@="notepad.exe \"%1\"" \ No newline at end of file +@="notepad.exe \"%1\"" diff --git a/scripts/pass_fail_totals.sh b/scripts/pass_fail_totals.sh index 99e4e3c5218..872e3db5323 100755 --- a/scripts/pass_fail_totals.sh +++ b/scripts/pass_fail_totals.sh @@ -229,3 +229,5 @@ tput smam + + diff --git a/scripts/rebuild-fast.sh b/scripts/rebuild-fast.sh index 3b52e14159d..284bef8abd8 100755 --- a/scripts/rebuild-fast.sh +++ b/scripts/rebuild-fast.sh @@ -99,3 +99,5 @@ source "$BUILD_DIR/venv8-fast/bin/activate" echo "Virtual environment reactivated for continued use." return 0 + + diff --git a/scripts/rebuild-hyperon.sh b/scripts/rebuild-hyperon.sh index 66ed7c5c3fe..37171659116 100755 --- a/scripts/rebuild-hyperon.sh +++ b/scripts/rebuild-hyperon.sh @@ -99,3 +99,5 @@ source "$BUILD_DIR/venv8/bin/activate" echo "Virtual environment reactivated for continued use." return 0 + + diff --git a/scripts/rebuild-min.sh b/scripts/rebuild-min.sh index d9f36e130c8..66af03650a0 100755 --- a/scripts/rebuild-min.sh +++ b/scripts/rebuild-min.sh @@ -101,3 +101,5 @@ source "$BUILD_DIR/venv8-min/bin/activate" echo "Virtual environment reactivated for continued use." return 0 + + diff --git a/scripts/rebuild-nonminal.sh b/scripts/rebuild-nonminal.sh index 904924e8112..d2da4060662 100755 --- a/scripts/rebuild-nonminal.sh +++ b/scripts/rebuild-nonminal.sh @@ -99,3 +99,5 @@ source "$BUILD_DIR/venv8-nonmin/bin/activate" echo "Virtual environment reactivated for continued use." return 0 + + diff --git a/scripts/retest.sh b/scripts/retest.sh index e69de29bb2d..139597f9cb0 100755 --- a/scripts/retest.sh +++ b/scripts/retest.sh @@ -0,0 +1,2 @@ + + diff --git a/scripts/run_commit_tests.sh b/scripts/run_commit_tests.sh index bd967746dc4..672e44b969b 100755 --- a/scripts/run_commit_tests.sh +++ b/scripts/run_commit_tests.sh @@ -126,3 +126,5 @@ cat ./reports/SHARED.UNITS.LOCAL.md >> /tmp/SHARED.UNITS cat /tmp/SHARED.UNITS > ./reports/SHARED.UNITS.PREV.md echo "DID run tests to $output ($METTALOG_OUTPUT) with SHARED_UNITS=$SHARED_UNITS" + + diff --git a/scripts/run_nightly_tests.sh b/scripts/run_nightly_tests.sh index 3fa2fa24ee0..6deb503f049 100755 --- a/scripts/run_nightly_tests.sh +++ b/scripts/run_nightly_tests.sh @@ -141,3 +141,5 @@ cat ./reports/SHARED.UNITS.LOCAL.md >> /tmp/SHARED.UNITS cat /tmp/SHARED.UNITS > ./reports/SHARED.UNITS.PREV.md echo "DID run tests to $output ($METTALOG_OUTPUT) with SHARED_UNITS=$SHARED_UNITS" + + diff --git a/scripts/send_keys_debug.sh b/scripts/send_keys_debug.sh index 18fcba1e776..63818656176 100755 --- a/scripts/send_keys_debug.sh +++ b/scripts/send_keys_debug.sh @@ -50,3 +50,5 @@ interact #!/usr/bin/expect + + diff --git a/scripts/start_jupyter.sh b/scripts/start_jupyter.sh index d812edbcafb..30bab878a37 100755 --- a/scripts/start_jupyter.sh +++ b/scripts/start_jupyter.sh @@ -123,3 +123,5 @@ sudo -u logicmoo jupyter notebook --allow-root --no-browser --port=17888 --ip 0. + + diff --git a/scripts/subtest.sh b/scripts/subtest.sh index e59e195a5b4..ac058da096e 100755 --- a/scripts/subtest.sh +++ b/scripts/subtest.sh @@ -38,3 +38,5 @@ rm -f /tmp/SHARED.UNITS + + diff --git a/scripts/test_in_metta.sh b/scripts/test_in_metta.sh index 2e020acae50..b958e792755 100755 --- a/scripts/test_in_metta.sh +++ b/scripts/test_in_metta.sh @@ -781,3 +781,5 @@ else DEBUG "Skipping report generation." fi + + diff --git a/scripts/test_in_metta1.sh b/scripts/test_in_metta1.sh index 1635e7a971a..401293188e5 100755 --- a/scripts/test_in_metta1.sh +++ b/scripts/test_in_metta1.sh @@ -658,3 +658,5 @@ else DEBUG "Skipping report generation." fi + + diff --git a/scripts/total_loonits.sh b/scripts/total_loonits.sh index b53ff3bb9a6..cfb9d7e3618 100755 --- a/scripts/total_loonits.sh +++ b/scripts/total_loonits.sh @@ -183,3 +183,5 @@ function main() { main + + diff --git a/tests/baseline_compat/anti-regression/issues/metta-wam-issue-116/double_file.sh b/tests/baseline_compat/anti-regression/issues/metta-wam-issue-116/double_file.sh index 79fbe5b9333..1975b7dc517 100755 --- a/tests/baseline_compat/anti-regression/issues/metta-wam-issue-116/double_file.sh +++ b/tests/baseline_compat/anti-regression/issues/metta-wam-issue-116/double_file.sh @@ -30,3 +30,4 @@ fi # Call the function to double the file double_file "$1" + diff --git a/tests/baseline_compat/metta-morph_tests/test.sh b/tests/baseline_compat/metta-morph_tests/test.sh index d845d2cd90e..ffb297b5e31 100755 --- a/tests/baseline_compat/metta-morph_tests/test.sh +++ b/tests/baseline_compat/metta-morph_tests/test.sh @@ -1,2 +1,3 @@ echo "Testing:" $1 sh run.sh $1 2> /dev/null | grep "!=" && echo "FAILED:" $1 + diff --git a/tests/direct_comp/easy/format_args_transout.pl b/tests/direct_comp/easy/format_args_transout.pl index 6d68166fdb9..32960dc4593 100644 --- a/tests/direct_comp/easy/format_args_transout.pl +++ b/tests/direct_comp/easy/format_args_transout.pl @@ -150,3 +150,4 @@ 'mc__format-argsx'("a{}b{}", ["XX", "ZZ"], A)). :- end_metta_runtime. + diff --git a/tests/direct_comp/transpiler/identity.pl b/tests/direct_comp/transpiler/identity.pl index 2dfdb4bf875..2f537191e4c 100644 --- a/tests/direct_comp/transpiler/identity.pl +++ b/tests/direct_comp/transpiler/identity.pl @@ -22,3 +22,4 @@ piler_identity_1722239786_638979(A,[:,B,[C,D,E,F,G,H]]):-piler_identity_1722239786_638979_iz(A,B,C,D,E,F,G,H). piler_identity_1722239786_638979(1,=,t(f,_x),t(*,_x,_x)). :-eval_Line([f,1],piler_identity_1722239786_638979,1). + diff --git a/tests/direct_comp/transpiler/letlet.pl b/tests/direct_comp/transpiler/letlet.pl index 54c692cd7ed..a58bb474c41 100644 --- a/tests/direct_comp/transpiler/letlet.pl +++ b/tests/direct_comp/transpiler/letlet.pl @@ -21,3 +21,4 @@ spiler_letlet_1722089421_1927977(A,[:,B,[C,D,E,F,G]]):-spiler_letlet_1722089421_1927977_iz(A,B,C,D,E,F,G). spiler_letlet_1722089421_1927977(A,[:,B,[C,D,E,F,G,H]]):-spiler_letlet_1722089421_1927977_iz(A,B,C,D,E,F,G,H). :-eval_Line([let,_T,[1.0,0.9],['let*',[[['$f1',_c1],_T]],['$f1',_c1]]],spiler_letlet_1722089421_1927977,1). + diff --git a/tests/direct_comp/transpiler/match_feval.pl b/tests/direct_comp/transpiler/match_feval.pl index 8d17523925c..3b8265e9395 100644 --- a/tests/direct_comp/transpiler/match_feval.pl +++ b/tests/direct_comp/transpiler/match_feval.pl @@ -27,3 +27,4 @@ t(f, _x, A):- A #= 2 * _x. + diff --git a/tests/direct_comp/transpiler/peano.pl b/tests/direct_comp/transpiler/peano.pl index 8f6d140d4aa..b133ff94961 100644 --- a/tests/direct_comp/transpiler/peano.pl +++ b/tests/direct_comp/transpiler/peano.pl @@ -23,3 +23,4 @@ nspiler_peano_1722089372_5160968(1,=,t('Add',_x,'Z'),_x). nspiler_peano_1722089372_5160968(1,=,t('Add',_x,t('S',_y)),t('Add',t('S',_x),_y)). :-eval_Line(['Add',['S',['S','Z']],['S',['S',['S','Z']]]],nspiler_peano_1722089372_5160968,2). + diff --git a/tests/zebra/zebra1.pl b/tests/zebra/zebra1.pl index df00c676e2c..1aa00652f60 100644 --- a/tests/zebra/zebra1.pl +++ b/tests/zebra/zebra1.pl @@ -116,3 +116,4 @@ house_pet(FishHouse, fish, Houses), house_nationality(FishHouse, Owner, Houses). + diff --git a/tests/zebra/zebra2.pl b/tests/zebra/zebra2.pl index 3eada2c9ec4..057c1945205 100644 --- a/tests/zebra/zebra2.pl +++ b/tests/zebra/zebra2.pl @@ -159,3 +159,4 @@ length_nat([_ | Rest], ['S', N]) :- length_nat(Rest, N). + diff --git a/tests/zebra/zebra3.pl b/tests/zebra/zebra3.pl index 35ba2c177e5..c4f0471ee99 100644 --- a/tests/zebra/zebra3.pl +++ b/tests/zebra/zebra3.pl @@ -176,3 +176,4 @@ append_cons('[|]'(H, T), List2, '[|]'(H, T2)) :- append_cons(T, List2, T2). + diff --git a/tests/zebra/zebra4.pl b/tests/zebra/zebra4.pl index 7ec78370784..b29c7f67322 100644 --- a/tests/zebra/zebra4.pl +++ b/tests/zebra/zebra4.pl @@ -175,3 +175,4 @@ append_cons('Cons'(H, T), List2, 'Cons'(H, T2)) :- append_cons(T, List2, T2). +