Skip to content
[Jenkins]Jenkins
log in
Builds
No builds

Workspace of logicmoo_workspace on Built-In Node

logicmoo_workspace / packs_sys / logicmoo_base / t / examples / fol /
fiveof
quick_test
.swiplrc.hideOct 10, 2021, 7:14:07 AM0 B
answerable_t_01.pfc.plOct 10, 2021, 7:14:07 AM2.47 KiB
attvar_dict_existentials.plOct 10, 2021, 7:14:07 AM10.27 KiB
attvar_existentials.plOct 10, 2021, 7:14:07 AM9.42 KiB
attvar_sk.shOct 10, 2021, 7:14:07 AM368 B
birds_01c.pfc.plOct 10, 2021, 7:14:07 AM692 B
birds_04.pfc.plOct 10, 2021, 7:14:07 AM694 B
boxlog_sanity_01.pfc.plOct 10, 2021, 7:14:07 AM22.94 KiB
boxlog_sanity_02.pfc.plOct 10, 2021, 7:14:07 AM7.63 KiB
boxlog_sanity_03.pfc.plOct 10, 2021, 7:14:07 AM9.84 KiB
boxlog_sanity_04.pfc.plOct 10, 2021, 7:14:07 AM23.92 KiB
chords.curryOct 10, 2021, 7:14:07 AM20.44 KiB
chords.curry.hsOct 10, 2021, 7:14:07 AM20.44 KiB
clif_01.clifOct 10, 2021, 7:14:07 AM1.58 KiB
dislikes_03.pfc.plOct 10, 2021, 7:14:07 AM5.21 KiB
einstein_simpler_02.pfc.plOct 10, 2021, 7:14:07 AM1.06 KiB
einstein_simpler_03.pfc.plOct 10, 2021, 7:14:07 AM7.06 KiB
einstein_simpler_05.pfc.plOct 10, 2021, 7:14:07 AM6.92 KiB
einsteins_riddle.owlOct 10, 2021, 7:14:07 AM59.35 KiB
exactly_01.clifOct 10, 2021, 7:14:07 AM2.26 KiB
exactly_01p.pfc.clifOct 10, 2021, 7:14:07 AM2.29 KiB
exactly_one_has_the_value_01.clifOct 10, 2021, 7:14:07 AM1.29 KiB
exactly_one_instance_01.clifOct 10, 2021, 7:14:07 AM1.85 KiB
exactly_one_value_01.clifOct 10, 2021, 7:14:07 AM1.63 KiB
exactly_poss_cute_06.pfc.plOct 10, 2021, 7:14:07 AM27.10 KiB
exactly_puppy_02.pfc.plOct 10, 2021, 7:14:07 AM26.39 KiB
exaxtly_two.pfc.plOct 10, 2021, 7:14:07 AM2.68 KiB
exists_04.pfc.plOct 10, 2021, 7:14:07 AM1.80 KiB
family_inheritance_01.pfc.plOct 10, 2021, 7:14:07 AM6.25 KiB
family_regress_01.pfc.plOct 10, 2021, 7:14:07 AM2.74 KiB
fol_birdt_01.pfc.plOct 10, 2021, 7:14:07 AM3.36 KiB
fol_calc_01.pfc.plOct 10, 2021, 7:14:07 AM7.74 KiB
fol_cardinaity_axiomitized_01.pfc.plOct 10, 2021, 7:14:07 AM4.74 KiB
fol_cardinaity_axiomitized_02.pfc.plOct 10, 2021, 7:14:07 AM3.38 KiB
fol_options.plOct 10, 2021, 7:14:07 AM746 B
forall_quant_01.pfc.plOct 10, 2021, 7:14:07 AM1.40 KiB
good_same_01.clifOct 10, 2021, 7:14:07 AM1.65 KiB
holds_011.pfcOct 10, 2021, 7:14:07 AM1.78 KiB
kif_io_test_01.plOct 10, 2021, 7:14:07 AM2.47 KiB
kif_io_test_01a.plOct 10, 2021, 7:14:07 AM2.95 KiB
kif_sanity_01.pfc.plOct 10, 2021, 7:14:07 AM15.61 KiB
lefty_01.pfc.plOct 10, 2021, 7:14:07 AM2.64 KiB
make_types_wff_01.pfc.plOct 10, 2021, 7:14:07 AM2.19 KiB
make_wff_01.pfc.plOct 10, 2021, 7:14:07 AM3.98 KiB
make_wff_01a.pfc.plOct 10, 2021, 7:14:07 AM1.19 KiB
make_wff_02.pfc.plOct 10, 2021, 7:14:07 AM3.56 KiB
missing_count_01.pfc.plOct 10, 2021, 7:14:07 AM1.33 KiB
missing_count_02.pfc.plOct 10, 2021, 7:14:07 AM1.36 KiB
missing_count_03.pfc.plOct 10, 2021, 7:14:07 AM1.32 KiB
missing_count_04.pfc.plOct 10, 2021, 7:14:07 AM1.32 KiB
missing_count_05.pfc.plOct 10, 2021, 7:14:07 AM1.32 KiB
missing_count_06.pfc.plOct 10, 2021, 7:14:07 AM1.32 KiB
modal_logic_mt.pfc.iklOct 10, 2021, 7:14:07 AM4.97 KiB
modal_logic_mt.pfc.plOct 10, 2021, 7:14:07 AM10.27 KiB
mpred_reset_db_01.pfc.plOct 10, 2021, 7:14:07 AM1.25 KiB
nat_sane_01a.pfc.plOct 10, 2021, 7:14:07 AM1.44 KiB
no_reloading_all_tests.plOct 10, 2021, 7:14:07 AM52 B
pfc_test_header.plOct 10, 2021, 7:14:07 AM255 B
poss_forall_exists_01.pfc.plOct 10, 2021, 7:14:07 AM3.07 KiB
poss_forall_exists_02.pfc.plOct 10, 2021, 7:14:07 AM4.43 KiB
poss_forall_exists_03.pfc.plOct 10, 2021, 7:14:07 AM3.24 KiB
poss_forall_exists_04.pfc.plOct 10, 2021, 7:14:07 AM3.58 KiB
poss_forall_exists_05.pfc.plOct 10, 2021, 7:14:07 AM4.60 KiB
propositional_modal_logic.plOct 10, 2021, 7:14:07 AM66.41 KiB
README.htmlOct 10, 2021, 7:14:07 AM53.65 KiB
room_numbers_01.pfc.plOct 10, 2021, 7:14:07 AM1.15 KiB
sanity_at_least_most_exactly_01.pfc.plOct 10, 2021, 7:14:07 AM1.98 KiB
sanity_at_least_most_exactly_02.pfc.plOct 10, 2021, 7:14:07 AM494.39 KiB
sanity_atleast_01.pfc.plOct 10, 2021, 7:14:07 AM6.54 KiB
sanity_atmost_01.pfc.plOct 10, 2021, 7:14:07 AM4.62 KiB
sanity_exactly_01.pfc.plOct 10, 2021, 7:14:07 AM6.54 KiB
sanity_exists_01.pfc.plOct 10, 2021, 7:14:07 AM5.89 KiB
sanity_exists_02.pfc.plOct 10, 2021, 7:14:07 AM4.49 KiB
sanity_exists_03.pfc.plOct 10, 2021, 7:14:07 AM3.90 KiB
sanity_fi_human_01.pfc.plOct 10, 2021, 7:14:07 AM1.10 KiB
sanity_fi_sk_01.pfc.plOct 10, 2021, 7:14:07 AM3.37 KiB
sanity_poss_01.pfc.plOct 10, 2021, 7:14:07 AM1.64 KiB
sanity_poss_02.pfc.plOct 10, 2021, 7:14:07 AM1.70 KiB
sanity_poss_03.pfc.plOct 10, 2021, 7:14:07 AM1.65 KiB
sanity_sk_human_01.pfc.plOct 10, 2021, 7:14:07 AM829 B
sanity_sk_two_01.pfc.plOct 10, 2021, 7:14:07 AM1.96 KiB
scope_exists_01.pfc.plOct 10, 2021, 7:14:07 AM849 B
sigma_04.plOct 10, 2021, 7:14:07 AM1.99 KiB
tc_example_01.pfc.plOct 10, 2021, 7:14:07 AM585 B
test_header.plOct 10, 2021, 7:14:07 AM154 B
test_header1.plOct 10, 2021, 7:14:07 AM2.98 KiB
test_header2.plOct 10, 2021, 7:14:07 AM5.72 KiB
test_on_release.shOct 10, 2021, 7:14:07 AM251 B
unit_projection_lem_01.pfc.plOct 10, 2021, 7:14:07 AM985 B
worlds_possible.pfc.plOct 10, 2021, 7:14:07 AM1003 B
zebra_01.clifOct 10, 2021, 7:14:07 AM6.61 KiB
zebra_01a.clifOct 10, 2021, 7:14:07 AM6.44 KiB
zebra_02.clifOct 10, 2021, 7:14:07 AM20.74 KiB
zebra_03.clifOct 10, 2021, 7:14:07 AM20.74 KiB
zebra_04.clifOct 10, 2021, 7:14:07 AM20.74 KiB
zebra_05.clifOct 10, 2021, 7:14:07 AM10.97 KiB
zebra_06.clifOct 10, 2021, 7:14:07 AM20.75 KiB
zenls_01z.pfc.plOct 10, 2021, 7:14:07 AM1.60 KiB