| __pycache__ |
| bn |
| constraints |
| dtproblog |
| lfi |
| lficont |
| parser |
| sample |
| specific |
| tasks |
| 00_builtins.pl | Mar 24, 2023, 9:55:58 AM | 1.77 KiB | |
| 00_trivial_and.pl | Mar 24, 2023, 9:55:58 AM | 338 B | |
| 00_trivial_duplicate.pl | Mar 24, 2023, 9:55:58 AM | 154 B | |
| 00_trivial_fact.pl | Mar 24, 2023, 9:55:58 AM | 73 B | |
| 00_trivial_fail.pl | Mar 24, 2023, 9:55:58 AM | 50 B | |
| 00_trivial_not_and.pl | Mar 24, 2023, 9:55:58 AM | 76 B | |
| 00_trivial_not.pl | Mar 24, 2023, 9:55:58 AM | 57 B | |
| 00_trivial_or.pl | Mar 24, 2023, 9:55:58 AM | 354 B | |
| 00_trivial_true.pl | Mar 24, 2023, 9:55:58 AM | 42 B | |
| 00_trivial_undefined_failed.pl | Mar 24, 2023, 9:55:58 AM | 54 B | |
| 00_trivial_undefined.pl | Mar 24, 2023, 9:55:58 AM | 51 B | |
| 00_trivial_undefined2_failed.pl | Mar 24, 2023, 9:55:58 AM | 63 B | |
| 00_trivial_undefined2.pl | Mar 24, 2023, 9:55:58 AM | 60 B | |
| 01_inconsistent.pl | Mar 24, 2023, 9:55:58 AM | 250 B | |
| 01_logic_implicit_equal.pl | Mar 24, 2023, 9:55:58 AM | 156 B | |
| 01_queries.pl | Mar 24, 2023, 9:55:58 AM | 206 B | |
| 01_unbounded.pl | Mar 24, 2023, 9:55:58 AM | 189 B | |
| 10_cards.pl | Mar 24, 2023, 9:55:58 AM | 475 B | |
| 11_ads_numerical.pl | Mar 24, 2023, 9:55:58 AM | 2.22 KiB | |
| 12_holidays.pl | Mar 24, 2023, 9:55:58 AM | 852 B | |
| 3_tossing_coin.pl | Mar 24, 2023, 9:55:58 AM | 475 B | |
| 4_1_bayesian_net.pl | Mar 24, 2023, 9:55:58 AM | 597 B | |
| 4_bayesian_net.pl | Mar 24, 2023, 9:55:58 AM | 656 B | |
| 5_bayesian_net.pl | Mar 24, 2023, 9:55:58 AM | 811 B | |
| 6_hmm_weather.pl | Mar 24, 2023, 9:55:58 AM | 575 B | |
| 7_probabilistic_graph.pl | Mar 24, 2023, 9:55:58 AM | 542 B | |
| 8_smokers_network.pl | Mar 24, 2023, 9:55:58 AM | 1.35 KiB | |
| 9_packing_problem.pl | Mar 24, 2023, 9:55:58 AM | 844 B | |
| ad_clause.pl | Mar 24, 2023, 9:55:58 AM | 384 B | |
| ad_fact.pl | Mar 24, 2023, 9:55:58 AM | 77 B | |
| add.pl | Mar 24, 2023, 9:55:58 AM | 223 B | |
| advars_smokers_alt.pl | Mar 24, 2023, 9:55:58 AM | 756 B | |
| advars_smokers.pl | Mar 24, 2023, 9:55:58 AM | 814 B | |
| advars.pl | Mar 24, 2023, 9:55:58 AM | 209 B | |
| aggregate_builtins_scoped.pl | Mar 24, 2023, 9:55:58 AM | 1.15 KiB | |
| aggregate_builtins.pl | Mar 24, 2023, 9:55:58 AM | 1.05 KiB | |
| aggregate_custom.pl | Mar 24, 2023, 9:55:58 AM | 2.03 KiB | |
| aggregate_satisfy.pl | Mar 24, 2023, 9:55:58 AM | 1.46 KiB | |
| append.pl | Mar 24, 2023, 9:55:58 AM | 314 B | |
| basic_scope_use.pl | Mar 24, 2023, 9:55:58 AM | 201 B | |
| bigstack.pl | Mar 24, 2023, 9:55:58 AM | 613 B | |
| bug_nonground_error.pl | Mar 24, 2023, 9:55:58 AM | 261 B | |
| bug_nonground_more.pl | Mar 24, 2023, 9:55:58 AM | 423 B | |
| bug_nonground.pl | Mar 24, 2023, 9:55:58 AM | 282 B | |
| bug_unify.pl | Mar 24, 2023, 9:55:58 AM | 285 B | |
| call_notfound.pl | Mar 24, 2023, 9:55:58 AM | 369 B | |
| call_return_fail.pl | Mar 24, 2023, 9:55:58 AM | 87 B | |
| call.pl | Mar 24, 2023, 9:55:58 AM | 227 B | |
| clause_pred.pl | Mar 24, 2023, 9:55:58 AM | 148 B | |
| clause2_basic_tests.pl | Mar 24, 2023, 9:55:58 AM | 569 B | |
| coin.pl | Mar 24, 2023, 9:55:58 AM | 190 B | |
| consult_nested.pl | Mar 24, 2023, 9:55:58 AM | 171 B | |
| consult.pl | Mar 24, 2023, 9:55:58 AM | 183 B | |
| cut_2.pl | Mar 24, 2023, 9:55:58 AM | 306 B | |
| cut.pl | Mar 24, 2023, 9:55:58 AM | 347 B | |
| cycle_over_call.pl | Mar 24, 2023, 9:55:58 AM | 84 B | |
| cycle_over_findall.pl | Mar 24, 2023, 9:55:58 AM | 108 B | |
| evidence_bug_alt.pl | Mar 24, 2023, 9:55:58 AM | 131 B | |
| evidence_bug.pl | Mar 24, 2023, 9:55:58 AM | 131 B | |
| extern_lib.py | Mar 24, 2023, 9:55:58 AM | 551 B | |
| extern_test_out.pl | Mar 24, 2023, 9:55:58 AM | 419 B | |
| extern_test.pl | Mar 24, 2023, 9:55:58 AM | 349 B | |
| findall_check.pl | Mar 24, 2023, 9:55:58 AM | 218 B | |
| findall_duplicates.pl | Mar 24, 2023, 9:55:58 AM | 478 B | |
| findall_nested.pl | Mar 24, 2023, 9:55:58 AM | 196 B | |
| findall_with_anonymous.pl | Mar 24, 2023, 9:55:58 AM | 156 B | |
| findall.pl | Mar 24, 2023, 9:55:58 AM | 241 B | |
| findall1.pl | Mar 24, 2023, 9:55:58 AM | 503 B | |
| findall2.pl | Mar 24, 2023, 9:55:58 AM | 599 B | |
| findall3.pl | Mar 24, 2023, 9:55:58 AM | 550 B | |
| findall4.pl | Mar 24, 2023, 9:55:58 AM | 248 B | |
| findall5.pl | Mar 24, 2023, 9:55:58 AM | 158 B | |
| findall6.pl | Mar 24, 2023, 9:55:58 AM | 180 B | |
| forall.pl | Mar 24, 2023, 9:55:58 AM | 249 B | |
| generated.pl | Mar 24, 2023, 9:55:58 AM | 6.91 KiB | |
| generic_scope.pl | Mar 24, 2023, 9:55:58 AM | 152 B | |
| ground_nonground_bug_v1.pl | Mar 24, 2023, 9:55:58 AM | 220 B | |
| ground_nonground_bug_v2.pl | Mar 24, 2023, 9:55:58 AM | 247 B | |
| ground_nonground_bug_v3.pl | Mar 24, 2023, 9:55:58 AM | 232 B | |
| ground_nonground_bug_v4.pl | Mar 24, 2023, 9:55:58 AM | 145 B | |
| ground_term_variable_prob.pl | Mar 24, 2023, 9:55:58 AM | 66 B | |
| hex_numbers.pl | Mar 24, 2023, 9:55:58 AM | 97 B | |
| list_sample_multi.pl | Mar 24, 2023, 9:55:58 AM | 661 B | |
| list_sample.pl | Mar 24, 2023, 9:55:58 AM | 210 B | |
| negation.pl | Mar 24, 2023, 9:55:58 AM | 263 B | |
| negative_cycle.pl | Mar 24, 2023, 9:55:58 AM | 181 B | |
| negative_cycle2.pl | Mar 24, 2023, 9:55:58 AM | 181 B | |
| negative_head_lits.pl | Mar 24, 2023, 9:55:58 AM | 340 B | |
| negative_query.pl | Mar 24, 2023, 9:55:58 AM | 51 B | |
| non_ground_query.pl | Mar 24, 2023, 9:55:58 AM | 201 B | |
| nonground.pl | Mar 24, 2023, 9:55:58 AM | 151 B | |
| query_same.pl | Mar 24, 2023, 9:55:58 AM | 104 B | |
| same_var.pl | Mar 24, 2023, 9:55:58 AM | 72 B | |
| scope_advanced_manipulations.pl | Mar 24, 2023, 9:55:58 AM | 514 B | |
| scope_manipulation.pl | Mar 24, 2023, 9:55:58 AM | 305 B | |
| scope_variable_manipulations.pl | Mar 24, 2023, 9:55:58 AM | 555 B | |
| select_weighted.pl | Mar 24, 2023, 9:55:58 AM | 467 B | |
| smokers_csv.pl | Mar 24, 2023, 9:55:58 AM | 315 B | |
| smokers_db.pl | Mar 24, 2023, 9:55:58 AM | 252 B | |
| smokers_friend_of.csv | Mar 24, 2023, 9:55:58 AM | 187 B | |
| smokers_or.pl | Mar 24, 2023, 9:55:58 AM | 1.20 KiB | |
| smokers_person.csv | Mar 24, 2023, 9:55:58 AM | 47 B | |
| smokers.sqlite | Mar 24, 2023, 9:55:58 AM | 6.00 KiB | |
| some_cycles.pl | Mar 24, 2023, 9:55:58 AM | 460 B | |
| subquery.pl | Mar 24, 2023, 9:55:58 AM | 177 B | |
| swap.pl | Mar 24, 2023, 9:55:58 AM | 285 B | |
| tc_1.pl | Mar 24, 2023, 9:55:58 AM | 168 B | |
| tc_2.pl | Mar 24, 2023, 9:55:58 AM | 124 B | |
| tc_3.pl | Mar 24, 2023, 9:55:58 AM | 248 B | |
| varunify_all.pl | Mar 24, 2023, 9:55:58 AM | 1.75 KiB | |
| varunify_internal.pl | Mar 24, 2023, 9:55:58 AM | 117 B | |
|