├── .circleci └── config.yml ├── .github └── workflows │ ├── python-package.yml │ └── python-publish.yml ├── .readthedocs.yaml ├── CHANGES ├── INSTALL ├── KNOWN_ISSUES ├── README.md ├── bitbucket-pipelines.yml ├── conversions ├── bn2problog.py ├── hugin2problog.py ├── pyparsing.py ├── smile2problog.py ├── uai2problog.py ├── xmlbif2problog.py └── xmlbif_samples │ └── dog.xml ├── docs ├── HELP └── source │ ├── api.rst │ ├── cli.rst │ ├── conf.py │ ├── engine.rst │ ├── engine.rst_old │ ├── faq.rst │ ├── index.rst │ ├── install.rst │ ├── modeling_advanced.rst │ ├── modeling_basic.rst │ ├── prolog.rst │ ├── python.ipynb │ └── python.rst ├── problog-cli.py ├── problog-gui.cmd ├── problog ├── __init__.py ├── __main__.py ├── bdd_formula.py ├── bdd_formula_alt.py ├── bin │ ├── darwin │ │ ├── cnf2dDNNF_wine │ │ └── dsharp │ ├── linux │ │ ├── dsharp │ │ └── maxsatz │ ├── source │ │ └── maxsatz │ │ │ └── maxsatz2009.c │ └── windows │ │ ├── dsharp.exe │ │ ├── libgcc_s_dw2-1.dll │ │ ├── libstdc++-6.dll │ │ └── maxsatz.exe ├── clausedb.py ├── cnf_formula.py ├── constraint.py ├── core.py ├── cycles.py ├── dd_formula.py ├── ddnnf_formula.py ├── debug.py ├── engine.py ├── engine_builtin.py ├── engine_stack.py ├── engine_unify.py ├── errors.py ├── eval_nodes.py ├── evaluator.py ├── extern.py ├── formula.py ├── forward.py ├── ground_yap.py ├── kbest.py ├── learning │ ├── README │ ├── __init__.py │ └── lfi.py ├── lib │ ├── guirunner.py │ └── pyparsing.py ├── library │ ├── aggregate.pl │ ├── apply.pl │ ├── aproblog.py │ ├── assert.py │ ├── builtin.pl │ ├── collect.pl │ ├── control.pl │ ├── cut.pl │ ├── db.py │ ├── lists.pl │ ├── lists.py │ ├── nlp4plp.d │ │ ├── constraints.pl │ │ ├── ge_solver_sparse.pl │ │ ├── histograms.pl │ │ ├── input_interface.pl │ │ ├── meta_prob.pl │ │ ├── multiset_constraints.pl │ │ ├── probabilistic_drawing.pl │ │ ├── property_based_merging.pl │ │ ├── run_solver.pl │ │ ├── setup_aux.pl │ │ ├── static_setup.pl │ │ └── terms_to_predicates.pl │ ├── nlp4plp.pl │ ├── record.py │ ├── scope.pl │ ├── string.pl │ └── string.py ├── logic.py ├── magic.py ├── maxsat.py ├── nnf_formula.py ├── parser.py ├── pgm │ ├── __init__.py │ └── cpd.py ├── program.py ├── pypl.py ├── sdd_formula.py ├── sdd_formula_explicit.py ├── setup.py ├── tasks │ ├── README │ ├── __init__.py │ ├── bayesnet.py │ ├── constraint.py │ ├── dtproblog.py │ ├── explain.py │ ├── ground.py │ ├── map.py │ ├── mpe.py │ ├── probability.py │ ├── sample.py │ ├── shell.py │ └── time1.py ├── test │ ├── __init__.py │ ├── library │ │ ├── __init__.py │ │ └── test_string.py │ ├── test_bn.py │ ├── test_constraint.py │ ├── test_ddnnf_formula.py │ ├── test_dtproblog.py │ ├── test_engine.py │ ├── test_equality.py │ ├── test_evaluator.py │ ├── test_interface.py │ ├── test_lfi.py │ ├── test_lficont.py │ ├── test_logic.py │ ├── test_pypl.py │ ├── test_sample.py │ ├── test_subquery.py │ ├── test_system.py │ ├── test_tasks.py │ ├── test_transformation.py │ ├── test_try_call.py │ ├── test_unify.py │ └── test_web.py ├── util.py ├── version.py ├── web │ ├── __init__.py │ ├── editor.html │ ├── editor_adv.html │ ├── editor_local.html │ ├── index.html │ ├── index_local.html │ ├── index_remote.html │ ├── js │ │ ├── fonts │ │ │ ├── glyphicons-halflings-regular.eot │ │ │ ├── glyphicons-halflings-regular.svg │ │ │ ├── glyphicons-halflings-regular.ttf │ │ │ └── glyphicons-halflings-regular.woff │ │ ├── lib │ │ │ ├── ace.js │ │ │ ├── bootstrap-theme.min.css │ │ │ ├── bootstrap.min.css │ │ │ ├── bootstrap.min.js │ │ │ ├── ext-elastic_tabstops_lite.js │ │ │ ├── ext-emmet.js │ │ │ ├── ext-keybinding_menu.js │ │ │ ├── ext-language_tools.js │ │ │ ├── ext-modelist.js │ │ │ ├── ext-options.js │ │ │ ├── ext-searchbox.js │ │ │ ├── ext-settings_menu.js │ │ │ ├── ext-spellcheck.js │ │ │ ├── ext-split.js │ │ │ ├── ext-static_highlight.js │ │ │ ├── ext-statusbar.js │ │ │ ├── ext-textarea.js │ │ │ ├── ext-themelist.js │ │ │ ├── ext-whitespace.js │ │ │ ├── jquery-2.1.0.min.js │ │ │ ├── jquery-ui.min.js │ │ │ ├── keybinding-emacs.js │ │ │ ├── keybinding-vim.js │ │ │ ├── mode-abap.js │ │ │ ├── mode-actionscript.js │ │ │ ├── mode-ada.js │ │ │ ├── mode-asciidoc.js │ │ │ ├── mode-assembly_x86.js │ │ │ ├── mode-autohotkey.js │ │ │ ├── mode-batchfile.js │ │ │ ├── mode-c9search.js │ │ │ ├── mode-c_cpp.js │ │ │ ├── mode-clojure.js │ │ │ ├── mode-cobol.js │ │ │ ├── mode-coffee.js │ │ │ ├── mode-coldfusion.js │ │ │ ├── mode-csharp.js │ │ │ ├── mode-css.js │ │ │ ├── mode-curly.js │ │ │ ├── mode-d.js │ │ │ ├── mode-dart.js │ │ │ ├── mode-diff.js │ │ │ ├── mode-django.js │ │ │ ├── mode-dot.js │ │ │ ├── mode-ejs.js │ │ │ ├── mode-erlang.js │ │ │ ├── mode-forth.js │ │ │ ├── mode-ftl.js │ │ │ ├── mode-glsl.js │ │ │ ├── mode-golang.js │ │ │ ├── mode-groovy.js │ │ │ ├── mode-haml.js │ │ │ ├── mode-haskell.js │ │ │ ├── mode-haxe.js │ │ │ ├── mode-html.js │ │ │ ├── mode-html_ruby.js │ │ │ ├── mode-ini.js │ │ │ ├── mode-jade.js │ │ │ ├── mode-java.js │ │ │ ├── mode-javascript.js │ │ │ ├── mode-json.js │ │ │ ├── mode-jsoniq.js │ │ │ ├── mode-jsp.js │ │ │ ├── mode-jsx.js │ │ │ ├── mode-julia.js │ │ │ ├── mode-latex.js │ │ │ ├── mode-less.js │ │ │ ├── mode-liquid.js │ │ │ ├── mode-lisp.js │ │ │ ├── mode-livescript.js │ │ │ ├── mode-logiql.js │ │ │ ├── mode-lsl.js │ │ │ ├── mode-lua.js │ │ │ ├── mode-luapage.js │ │ │ ├── mode-lucene.js │ │ │ ├── mode-makefile.js │ │ │ ├── mode-markdown.js │ │ │ ├── mode-matlab.js │ │ │ ├── mode-mushcode.js │ │ │ ├── mode-mushcode_high_rules.js │ │ │ ├── mode-mysql.js │ │ │ ├── mode-objectivec.js │ │ │ ├── mode-ocaml.js │ │ │ ├── mode-pascal.js │ │ │ ├── mode-perl.js │ │ │ ├── mode-pgsql.js │ │ │ ├── mode-php.js │ │ │ ├── mode-plain_text.js │ │ │ ├── mode-powershell.js │ │ │ ├── mode-problog.js │ │ │ ├── mode-prolog.js │ │ │ ├── mode-properties.js │ │ │ ├── mode-python.js │ │ │ ├── mode-r.js │ │ │ ├── mode-rdoc.js │ │ │ ├── mode-rhtml.js │ │ │ ├── mode-ruby.js │ │ │ ├── mode-rust.js │ │ │ ├── mode-sass.js │ │ │ ├── mode-scad.js │ │ │ ├── mode-scala.js │ │ │ ├── mode-scheme.js │ │ │ ├── mode-scss.js │ │ │ ├── mode-sh.js │ │ │ ├── mode-snippets.js │ │ │ ├── mode-sql.js │ │ │ ├── mode-stylus.js │ │ │ ├── mode-svg.js │ │ │ ├── mode-tcl.js │ │ │ ├── mode-tex.js │ │ │ ├── mode-text.js │ │ │ ├── mode-textile.js │ │ │ ├── mode-tmsnippet.js │ │ │ ├── mode-toml.js │ │ │ ├── mode-twig.js │ │ │ ├── mode-typescript.js │ │ │ ├── mode-vbscript.js │ │ │ ├── mode-velocity.js │ │ │ ├── mode-verilog.js │ │ │ ├── mode-xml.js │ │ │ ├── mode-xquery.js │ │ │ ├── mode-yaml.js │ │ │ ├── snippets │ │ │ │ ├── abap.js │ │ │ │ ├── actionscript.js │ │ │ │ ├── ada.js │ │ │ │ ├── asciidoc.js │ │ │ │ ├── assembly_x86.js │ │ │ │ ├── autohotkey.js │ │ │ │ ├── batchfile.js │ │ │ │ ├── c9search.js │ │ │ │ ├── c_cpp.js │ │ │ │ ├── clojure.js │ │ │ │ ├── cobol.js │ │ │ │ ├── coffee.js │ │ │ │ ├── coldfusion.js │ │ │ │ ├── csharp.js │ │ │ │ ├── css.js │ │ │ │ ├── curly.js │ │ │ │ ├── d.js │ │ │ │ ├── dart.js │ │ │ │ ├── diff.js │ │ │ │ ├── django.js │ │ │ │ ├── dot.js │ │ │ │ ├── ejs.js │ │ │ │ ├── erlang.js │ │ │ │ ├── forth.js │ │ │ │ ├── ftl.js │ │ │ │ ├── glsl.js │ │ │ │ ├── golang.js │ │ │ │ ├── groovy.js │ │ │ │ ├── haml.js │ │ │ │ ├── haskell.js │ │ │ │ ├── haxe.js │ │ │ │ ├── html.js │ │ │ │ ├── html_ruby.js │ │ │ │ ├── ini.js │ │ │ │ ├── jade.js │ │ │ │ ├── java.js │ │ │ │ ├── javascript.js │ │ │ │ ├── json.js │ │ │ │ ├── jsoniq.js │ │ │ │ ├── jsp.js │ │ │ │ ├── jsx.js │ │ │ │ ├── julia.js │ │ │ │ ├── latex.js │ │ │ │ ├── less.js │ │ │ │ ├── liquid.js │ │ │ │ ├── lisp.js │ │ │ │ ├── livescript.js │ │ │ │ ├── logiql.js │ │ │ │ ├── lsl.js │ │ │ │ ├── lua.js │ │ │ │ ├── luapage.js │ │ │ │ ├── lucene.js │ │ │ │ ├── makefile.js │ │ │ │ ├── markdown.js │ │ │ │ ├── matlab.js │ │ │ │ ├── mushcode.js │ │ │ │ ├── mushcode_high_rules.js │ │ │ │ ├── mysql.js │ │ │ │ ├── objectivec.js │ │ │ │ ├── ocaml.js │ │ │ │ ├── pascal.js │ │ │ │ ├── perl.js │ │ │ │ ├── pgsql.js │ │ │ │ ├── php.js │ │ │ │ ├── plain_text.js │ │ │ │ ├── powershell.js │ │ │ │ ├── prolog.js │ │ │ │ ├── properties.js │ │ │ │ ├── python.js │ │ │ │ ├── r.js │ │ │ │ ├── rdoc.js │ │ │ │ ├── rhtml.js │ │ │ │ ├── ruby.js │ │ │ │ ├── rust.js │ │ │ │ ├── sass.js │ │ │ │ ├── scad.js │ │ │ │ ├── scala.js │ │ │ │ ├── scheme.js │ │ │ │ ├── scss.js │ │ │ │ ├── sh.js │ │ │ │ ├── snippets.js │ │ │ │ ├── sql.js │ │ │ │ ├── stylus.js │ │ │ │ ├── svg.js │ │ │ │ ├── tcl.js │ │ │ │ ├── tex.js │ │ │ │ ├── text.js │ │ │ │ ├── textile.js │ │ │ │ ├── toml.js │ │ │ │ ├── twig.js │ │ │ │ ├── typescript.js │ │ │ │ ├── vbscript.js │ │ │ │ ├── velocity.js │ │ │ │ ├── verilog.js │ │ │ │ ├── xml.js │ │ │ │ ├── xquery.js │ │ │ │ └── yaml.js │ │ │ ├── theme-ambiance.js │ │ │ ├── theme-chaos.js │ │ │ ├── theme-chrome.js │ │ │ ├── theme-clouds.js │ │ │ ├── theme-clouds_midnight.js │ │ │ ├── theme-cobalt.js │ │ │ ├── theme-crimson_editor.js │ │ │ ├── theme-dawn.js │ │ │ ├── theme-dreamweaver.js │ │ │ ├── theme-eclipse.js │ │ │ ├── theme-github.js │ │ │ ├── theme-githubwm.js │ │ │ ├── theme-idle_fingers.js │ │ │ ├── theme-kr.js │ │ │ ├── theme-merbivore.js │ │ │ ├── theme-merbivore_soft.js │ │ │ ├── theme-mono_industrial.js │ │ │ ├── theme-monokai.js │ │ │ ├── theme-pastel_on_dark.js │ │ │ ├── theme-solarized_dark.js │ │ │ ├── theme-solarized_light.js │ │ │ ├── theme-terminal.js │ │ │ ├── theme-textmate.js │ │ │ ├── theme-tomorrow.js │ │ │ ├── theme-tomorrow_night.js │ │ │ ├── theme-tomorrow_night_blue.js │ │ │ ├── theme-tomorrow_night_bright.js │ │ │ ├── theme-tomorrow_night_eighties.js │ │ │ ├── theme-twilight.js │ │ │ ├── theme-vibrant_ink.js │ │ │ ├── theme-xcode.js │ │ │ ├── worker-coffee.js │ │ │ ├── worker-css.js │ │ │ ├── worker-javascript.js │ │ │ ├── worker-json.js │ │ │ ├── worker-lua.js │ │ │ ├── worker-php.js │ │ │ └── worker-xquery.js │ │ ├── mode-problog.js │ │ ├── problog_editor.js │ │ └── problog_editor_advanced.js │ ├── logging.conf │ ├── run_learning.py │ ├── run_problog.py │ ├── server.py │ └── server_debug.py └── yap │ ├── ground_base.pl │ ├── ground_base_compact.pl │ └── ground_compact.pl ├── pyproject.toml ├── requirements.txt ├── setup.py ├── step-by-step.py └── test ├── 00_builtins.pl ├── 00_trivial_and.pl ├── 00_trivial_duplicate.pl ├── 00_trivial_fact.pl ├── 00_trivial_fail.pl ├── 00_trivial_not.pl ├── 00_trivial_not_and.pl ├── 00_trivial_or.pl ├── 00_trivial_true.pl ├── 00_trivial_undefined.pl ├── 00_trivial_undefined2.pl ├── 00_trivial_undefined2_failed.pl ├── 00_trivial_undefined_failed.pl ├── 01_inconsistent.pl ├── 01_logic_implicit_equal.pl ├── 01_queries.pl ├── 01_unbounded.pl ├── 10_cards.pl ├── 11_ads_numerical.pl ├── 12_holidays.pl ├── 3_tossing_coin.pl ├── 4_1_bayesian_net.pl ├── 4_bayesian_net.pl ├── 5_bayesian_net.pl ├── 6_hmm_weather.pl ├── 7_probabilistic_graph.pl ├── 8_smokers_network.pl ├── 9_packing_problem.pl ├── ad_clause.pl ├── ad_fact.pl ├── add.pl ├── advars.pl ├── advars_smokers.pl ├── advars_smokers_alt.pl ├── aggregate_builtins.pl ├── aggregate_builtins_scoped.pl ├── aggregate_custom.pl ├── aggregate_satisfy.pl ├── append.pl ├── basic_scope_use.pl ├── bigstack.pl ├── bn └── single_atom_ad.pl ├── bug_nonground.pl ├── bug_nonground_error.pl ├── bug_nonground_more.pl ├── bug_unify.pl ├── call.pl ├── call_notfound.pl ├── call_return_fail.pl ├── clause2_basic_tests.pl ├── clause_pred.pl ├── coin.pl ├── constraints ├── ensure_false.pl └── ensure_prob.pl ├── consult.pl ├── consult_nested.pl ├── cut.pl ├── cut_2.pl ├── cycle_over_call.pl ├── cycle_over_findall.pl ├── dtproblog ├── ex1.pl ├── ex2.pl ├── ex3.pl ├── ex4.pl ├── ex5.pl ├── mut_exl.pl ├── mut_exl2.pl ├── umbrella.pl ├── umbrella_poole.pl ├── var_util.pl ├── viralmarketing.pl ├── weather_poole_alt.pl ├── winning.pl └── winning_undecided.pl ├── evidence_bug.pl ├── evidence_bug_alt.pl ├── extern_lib.py ├── extern_test.pl ├── extern_test_out.pl ├── findall.pl ├── findall1.pl ├── findall2.pl ├── findall3.pl ├── findall4.pl ├── findall5.pl ├── findall6.pl ├── findall_check.pl ├── findall_duplicates.pl ├── findall_nested.pl ├── findall_with_anonymous.pl ├── forall.pl ├── generated.pl ├── generic_scope.pl ├── ground_nonground_bug_v1.pl ├── ground_nonground_bug_v2.pl ├── ground_nonground_bug_v3.pl ├── ground_nonground_bug_v4.pl ├── ground_term_variable_prob.pl ├── hex_numbers.pl ├── lfi ├── ad │ ├── ADtest_10_1.ev │ ├── ADtest_10_1.pl │ ├── ADtest_1_1.ev │ ├── ADtest_1_1.pl │ ├── ADtest_2_1.ev │ ├── ADtest_2_1.pl │ ├── ADtest_3_1.ev │ ├── ADtest_3_1.pl │ ├── ADtest_3_2.ev │ ├── ADtest_3_2.pl │ ├── ADtest_4_1.ev │ ├── ADtest_4_1.pl │ ├── ADtest_4_2.ev │ ├── ADtest_4_2.pl │ ├── ADtest_5_1.ev │ ├── ADtest_5_1.pl │ ├── ADtest_5_2.ev │ ├── ADtest_5_2.pl │ ├── ADtest_5_3.ev │ ├── ADtest_5_3.pl │ ├── ADtest_5_4.ev │ ├── ADtest_5_4.pl │ ├── ADtest_5_5.ev │ ├── ADtest_5_5.pl │ ├── ADtest_6_1.ev │ ├── ADtest_6_1.pl │ ├── ADtest_6_2.ev │ ├── ADtest_6_2.pl │ ├── ADtest_6_3.ev │ ├── ADtest_6_3.pl │ ├── ADtest_7_3.ev │ ├── ADtest_7_3.pl │ ├── ADtest_8_1.ev │ ├── ADtest_8_1.pl │ ├── ADtest_8_3.ev │ ├── ADtest_8_3.pl │ ├── ADtest_8_5.ev │ ├── ADtest_8_5.pl │ ├── ADtest_8_7.ev │ ├── ADtest_8_7.pl │ ├── ADtest_8_8.ev │ ├── ADtest_8_8.pl │ ├── ADtest_9_1.ev │ ├── ADtest_9_1.pl │ ├── ADtest_9_2.ev │ └── ADtest_9_2.pl ├── misc │ ├── bn_burglary_example.ev │ ├── bn_burglary_example.pl │ ├── burglary.ev │ ├── burglary.pl │ ├── burglary_local.ev │ ├── burglary_local.pl │ ├── naive_bayes_example1.ev │ ├── naive_bayes_example1.pl │ ├── naive_bayes_example2.ev │ ├── naive_bayes_example2.pl │ ├── naive_bayes_example3.ev │ ├── naive_bayes_example3.pl │ ├── naive_bayes_example4.ev │ ├── naive_bayes_example4.pl │ ├── naive_bayes_example5.ev │ ├── naive_bayes_example5.pl │ ├── naive_bayes_example6.ev │ ├── naive_bayes_example6.pl │ ├── naive_bayes_example7.ev │ ├── naive_bayes_example7.pl │ ├── noisy_or_example1.ev │ ├── noisy_or_example1.pl │ ├── noisy_or_example2.ev │ ├── noisy_or_example2.pl │ ├── noisy_or_example3.ev │ ├── noisy_or_example3.pl │ ├── noisy_or_example4.ev │ ├── noisy_or_example4.pl │ ├── smokes.ev │ ├── smokes.pl │ ├── social_network_example.ev │ ├── social_network_example.pl │ ├── word_topic.ev │ └── word_topic.pl ├── simple │ ├── overview_simple_unittests.pdf │ ├── test_1.ev │ ├── test_1.pl │ ├── test_10.ev │ ├── test_10.pl │ ├── test_11.ev │ ├── test_11.pl │ ├── test_12.ev │ ├── test_12.pl │ ├── test_13.ev │ ├── test_13.pl │ ├── test_14.ev │ ├── test_14.pl │ ├── test_15.ev │ ├── test_15.pl │ ├── test_16.ev │ ├── test_16.pl │ ├── test_17.ev │ ├── test_17.pl │ ├── test_18.ev │ ├── test_18.pl │ ├── test_18_2.ev │ ├── test_18_2.pl │ ├── test_19.ev │ ├── test_19.pl │ ├── test_2.ev │ ├── test_2.pl │ ├── test_20.ev │ ├── test_20.pl │ ├── test_21.ev │ ├── test_21.pl │ ├── test_22.ev │ ├── test_22.pl │ ├── test_23.ev │ ├── test_23.pl │ ├── test_24.ev │ ├── test_24.pl │ ├── test_3.ev │ ├── test_3.pl │ ├── test_4.ev │ ├── test_4.pl │ ├── test_5.ev │ ├── test_5.pl │ ├── test_6.ev │ ├── test_6.pl │ ├── test_7.ev │ ├── test_7.pl │ ├── test_8.ev │ ├── test_8.pl │ ├── test_9.ev │ └── test_9.pl └── vars_in_tunable │ ├── test_1.ev │ ├── test_1.pl │ ├── test_2.ev │ ├── test_2.pl │ ├── test_3.ev │ ├── test_3.pl │ ├── test_4.ev │ ├── test_4.pl │ ├── test_5.ev │ ├── test_5.pl │ ├── test_6.ev │ ├── test_6.pl │ ├── test_7.ev │ └── test_7.pl ├── lficont ├── lfi_gaussian_mixture.ev ├── lfi_gaussian_mixture.pl ├── lfi_gaussian_mixture_2d.ev ├── lfi_gaussian_mixture_2d.pl ├── lfi_gaussian_mixture_constraints.ev ├── lfi_gaussian_mixture_constraints.pl ├── lfi_gaussian_mixture_v.ev ├── lfi_gaussian_mixture_v.pl ├── lfi_gaussian_mixture_vv.ev └── lfi_gaussian_mixture_vv.pl ├── list_sample.pl ├── list_sample_multi.pl ├── negation.pl ├── negative_cycle.pl ├── negative_cycle2.pl ├── negative_head_lits.pl ├── negative_query.pl ├── non_ground_query.pl ├── nonground.pl ├── parser ├── brack_wrong.pl ├── comment_to_eof.pl ├── dot_and_wrong.pl ├── end_with_var.pl ├── incomplete_next_paren.pl ├── list_as_dot.pl ├── literal_quot.pl ├── mixed_quot.pl ├── mixed_quot2.pl ├── not_closed_dquot.pl ├── not_supported.pl ├── par_brack_mix_wrong.pl ├── par_brack_mix_wrong2.pl ├── par_wrong.pl ├── pipe_comma.pl ├── pipe_pipe.pl ├── plus_functor.pl ├── priority_clash.pl ├── question.pl ├── subexpr.pl ├── terms_in_a_row.pl ├── test1.pl ├── test_operators.pl ├── unexpected_at.pl ├── weird_operators.pl ├── weird_operators2.pl ├── z_char_above_126.pl ├── z_no_block_comment_end.pl └── z_not_closed_bracket.pl ├── query_same.pl ├── same_var.pl ├── sample ├── heights.pl ├── maze.pl ├── some_heads.pl ├── some_heads_evidence.pl └── some_heads_previous.pl ├── scope_advanced_manipulations.pl ├── scope_manipulation.pl ├── scope_variable_manipulations.pl ├── select_weighted.pl ├── smokers.sqlite ├── smokers_csv.pl ├── smokers_db.pl ├── smokers_friend_of.csv ├── smokers_or.pl ├── smokers_person.csv ├── some_cycles.pl ├── specific ├── bug_keep_order.pl └── long_clause.cnf ├── subquery.pl ├── swap.pl ├── tasks ├── map_probabilistic_graph.pl ├── pgraph.pl ├── some_heads.pl └── some_heads_or.pl ├── tc_1.pl ├── tc_2.pl ├── tc_3.pl ├── varunify_all.pl └── varunify_internal.pl /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.github/workflows/python-package.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/.github/workflows/python-package.yml -------------------------------------------------------------------------------- /.github/workflows/python-publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/.github/workflows/python-publish.yml -------------------------------------------------------------------------------- /.readthedocs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/.readthedocs.yaml -------------------------------------------------------------------------------- /CHANGES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/CHANGES -------------------------------------------------------------------------------- /INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/INSTALL -------------------------------------------------------------------------------- /KNOWN_ISSUES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/KNOWN_ISSUES -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/README.md -------------------------------------------------------------------------------- /bitbucket-pipelines.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/bitbucket-pipelines.yml -------------------------------------------------------------------------------- /conversions/bn2problog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/conversions/bn2problog.py -------------------------------------------------------------------------------- /conversions/hugin2problog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/conversions/hugin2problog.py -------------------------------------------------------------------------------- /conversions/pyparsing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/conversions/pyparsing.py -------------------------------------------------------------------------------- /conversions/smile2problog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/conversions/smile2problog.py -------------------------------------------------------------------------------- /conversions/uai2problog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/conversions/uai2problog.py -------------------------------------------------------------------------------- /conversions/xmlbif2problog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/conversions/xmlbif2problog.py -------------------------------------------------------------------------------- /conversions/xmlbif_samples/dog.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/conversions/xmlbif_samples/dog.xml -------------------------------------------------------------------------------- /docs/HELP: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/HELP -------------------------------------------------------------------------------- /docs/source/api.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/source/api.rst -------------------------------------------------------------------------------- /docs/source/cli.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/source/cli.rst -------------------------------------------------------------------------------- /docs/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/source/conf.py -------------------------------------------------------------------------------- /docs/source/engine.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/source/engine.rst -------------------------------------------------------------------------------- /docs/source/engine.rst_old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/source/engine.rst_old -------------------------------------------------------------------------------- /docs/source/faq.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/source/faq.rst -------------------------------------------------------------------------------- /docs/source/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/source/index.rst -------------------------------------------------------------------------------- /docs/source/install.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/source/install.rst -------------------------------------------------------------------------------- /docs/source/modeling_advanced.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/source/modeling_advanced.rst -------------------------------------------------------------------------------- /docs/source/modeling_basic.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/source/modeling_basic.rst -------------------------------------------------------------------------------- /docs/source/prolog.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/source/prolog.rst -------------------------------------------------------------------------------- /docs/source/python.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/source/python.ipynb -------------------------------------------------------------------------------- /docs/source/python.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/docs/source/python.rst -------------------------------------------------------------------------------- /problog-cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog-cli.py -------------------------------------------------------------------------------- /problog-gui.cmd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog-gui.cmd -------------------------------------------------------------------------------- /problog/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/__init__.py -------------------------------------------------------------------------------- /problog/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/__main__.py -------------------------------------------------------------------------------- /problog/bdd_formula.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/bdd_formula.py -------------------------------------------------------------------------------- /problog/bdd_formula_alt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/bdd_formula_alt.py -------------------------------------------------------------------------------- /problog/bin/darwin/cnf2dDNNF_wine: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/bin/darwin/cnf2dDNNF_wine -------------------------------------------------------------------------------- /problog/bin/darwin/dsharp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/bin/darwin/dsharp -------------------------------------------------------------------------------- /problog/bin/linux/dsharp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/bin/linux/dsharp -------------------------------------------------------------------------------- /problog/bin/linux/maxsatz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/bin/linux/maxsatz -------------------------------------------------------------------------------- /problog/bin/source/maxsatz/maxsatz2009.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/bin/source/maxsatz/maxsatz2009.c -------------------------------------------------------------------------------- /problog/bin/windows/dsharp.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/bin/windows/dsharp.exe -------------------------------------------------------------------------------- /problog/bin/windows/libgcc_s_dw2-1.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/bin/windows/libgcc_s_dw2-1.dll -------------------------------------------------------------------------------- /problog/bin/windows/libstdc++-6.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/bin/windows/libstdc++-6.dll -------------------------------------------------------------------------------- /problog/bin/windows/maxsatz.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/bin/windows/maxsatz.exe -------------------------------------------------------------------------------- /problog/clausedb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/clausedb.py -------------------------------------------------------------------------------- /problog/cnf_formula.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/cnf_formula.py -------------------------------------------------------------------------------- /problog/constraint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/constraint.py -------------------------------------------------------------------------------- /problog/core.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/core.py -------------------------------------------------------------------------------- /problog/cycles.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/cycles.py -------------------------------------------------------------------------------- /problog/dd_formula.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/dd_formula.py -------------------------------------------------------------------------------- /problog/ddnnf_formula.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/ddnnf_formula.py -------------------------------------------------------------------------------- /problog/debug.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/debug.py -------------------------------------------------------------------------------- /problog/engine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/engine.py -------------------------------------------------------------------------------- /problog/engine_builtin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/engine_builtin.py -------------------------------------------------------------------------------- /problog/engine_stack.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/engine_stack.py -------------------------------------------------------------------------------- /problog/engine_unify.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/engine_unify.py -------------------------------------------------------------------------------- /problog/errors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/errors.py -------------------------------------------------------------------------------- /problog/eval_nodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/eval_nodes.py -------------------------------------------------------------------------------- /problog/evaluator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/evaluator.py -------------------------------------------------------------------------------- /problog/extern.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/extern.py -------------------------------------------------------------------------------- /problog/formula.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/formula.py -------------------------------------------------------------------------------- /problog/forward.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/forward.py -------------------------------------------------------------------------------- /problog/ground_yap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/ground_yap.py -------------------------------------------------------------------------------- /problog/kbest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/kbest.py -------------------------------------------------------------------------------- /problog/learning/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/learning/README -------------------------------------------------------------------------------- /problog/learning/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /problog/learning/lfi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/learning/lfi.py -------------------------------------------------------------------------------- /problog/lib/guirunner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/lib/guirunner.py -------------------------------------------------------------------------------- /problog/lib/pyparsing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/lib/pyparsing.py -------------------------------------------------------------------------------- /problog/library/aggregate.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/aggregate.pl -------------------------------------------------------------------------------- /problog/library/apply.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/apply.pl -------------------------------------------------------------------------------- /problog/library/aproblog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/aproblog.py -------------------------------------------------------------------------------- /problog/library/assert.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/assert.py -------------------------------------------------------------------------------- /problog/library/builtin.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/builtin.pl -------------------------------------------------------------------------------- /problog/library/collect.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/collect.pl -------------------------------------------------------------------------------- /problog/library/control.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/control.pl -------------------------------------------------------------------------------- /problog/library/cut.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/cut.pl -------------------------------------------------------------------------------- /problog/library/db.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/db.py -------------------------------------------------------------------------------- /problog/library/lists.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/lists.pl -------------------------------------------------------------------------------- /problog/library/lists.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/lists.py -------------------------------------------------------------------------------- /problog/library/nlp4plp.d/constraints.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/nlp4plp.d/constraints.pl -------------------------------------------------------------------------------- /problog/library/nlp4plp.d/ge_solver_sparse.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/nlp4plp.d/ge_solver_sparse.pl -------------------------------------------------------------------------------- /problog/library/nlp4plp.d/histograms.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/nlp4plp.d/histograms.pl -------------------------------------------------------------------------------- /problog/library/nlp4plp.d/input_interface.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/nlp4plp.d/input_interface.pl -------------------------------------------------------------------------------- /problog/library/nlp4plp.d/meta_prob.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/nlp4plp.d/meta_prob.pl -------------------------------------------------------------------------------- /problog/library/nlp4plp.d/multiset_constraints.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/nlp4plp.d/multiset_constraints.pl -------------------------------------------------------------------------------- /problog/library/nlp4plp.d/probabilistic_drawing.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/nlp4plp.d/probabilistic_drawing.pl -------------------------------------------------------------------------------- /problog/library/nlp4plp.d/property_based_merging.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/nlp4plp.d/property_based_merging.pl -------------------------------------------------------------------------------- /problog/library/nlp4plp.d/run_solver.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/nlp4plp.d/run_solver.pl -------------------------------------------------------------------------------- /problog/library/nlp4plp.d/setup_aux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/nlp4plp.d/setup_aux.pl -------------------------------------------------------------------------------- /problog/library/nlp4plp.d/static_setup.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/nlp4plp.d/static_setup.pl -------------------------------------------------------------------------------- /problog/library/nlp4plp.d/terms_to_predicates.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/nlp4plp.d/terms_to_predicates.pl -------------------------------------------------------------------------------- /problog/library/nlp4plp.pl: -------------------------------------------------------------------------------- 1 | :- consult('nlp4plp.d/meta_prob.pl'). -------------------------------------------------------------------------------- /problog/library/record.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/record.py -------------------------------------------------------------------------------- /problog/library/scope.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/scope.pl -------------------------------------------------------------------------------- /problog/library/string.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/string.pl -------------------------------------------------------------------------------- /problog/library/string.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/library/string.py -------------------------------------------------------------------------------- /problog/logic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/logic.py -------------------------------------------------------------------------------- /problog/magic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/magic.py -------------------------------------------------------------------------------- /problog/maxsat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/maxsat.py -------------------------------------------------------------------------------- /problog/nnf_formula.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/nnf_formula.py -------------------------------------------------------------------------------- /problog/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/parser.py -------------------------------------------------------------------------------- /problog/pgm/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /problog/pgm/cpd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/pgm/cpd.py -------------------------------------------------------------------------------- /problog/program.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/program.py -------------------------------------------------------------------------------- /problog/pypl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/pypl.py -------------------------------------------------------------------------------- /problog/sdd_formula.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/sdd_formula.py -------------------------------------------------------------------------------- /problog/sdd_formula_explicit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/sdd_formula_explicit.py -------------------------------------------------------------------------------- /problog/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/setup.py -------------------------------------------------------------------------------- /problog/tasks/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/tasks/README -------------------------------------------------------------------------------- /problog/tasks/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/tasks/__init__.py -------------------------------------------------------------------------------- /problog/tasks/bayesnet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/tasks/bayesnet.py -------------------------------------------------------------------------------- /problog/tasks/constraint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/tasks/constraint.py -------------------------------------------------------------------------------- /problog/tasks/dtproblog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/tasks/dtproblog.py -------------------------------------------------------------------------------- /problog/tasks/explain.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/tasks/explain.py -------------------------------------------------------------------------------- /problog/tasks/ground.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/tasks/ground.py -------------------------------------------------------------------------------- /problog/tasks/map.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/tasks/map.py -------------------------------------------------------------------------------- /problog/tasks/mpe.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/tasks/mpe.py -------------------------------------------------------------------------------- /problog/tasks/probability.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/tasks/probability.py -------------------------------------------------------------------------------- /problog/tasks/sample.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/tasks/sample.py -------------------------------------------------------------------------------- /problog/tasks/shell.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/tasks/shell.py -------------------------------------------------------------------------------- /problog/tasks/time1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/tasks/time1.py -------------------------------------------------------------------------------- /problog/test/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /problog/test/library/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /problog/test/library/test_string.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/library/test_string.py -------------------------------------------------------------------------------- /problog/test/test_bn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_bn.py -------------------------------------------------------------------------------- /problog/test/test_constraint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_constraint.py -------------------------------------------------------------------------------- /problog/test/test_ddnnf_formula.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_ddnnf_formula.py -------------------------------------------------------------------------------- /problog/test/test_dtproblog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_dtproblog.py -------------------------------------------------------------------------------- /problog/test/test_engine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_engine.py -------------------------------------------------------------------------------- /problog/test/test_equality.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_equality.py -------------------------------------------------------------------------------- /problog/test/test_evaluator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_evaluator.py -------------------------------------------------------------------------------- /problog/test/test_interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_interface.py -------------------------------------------------------------------------------- /problog/test/test_lfi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_lfi.py -------------------------------------------------------------------------------- /problog/test/test_lficont.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_lficont.py -------------------------------------------------------------------------------- /problog/test/test_logic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_logic.py -------------------------------------------------------------------------------- /problog/test/test_pypl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_pypl.py -------------------------------------------------------------------------------- /problog/test/test_sample.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_sample.py -------------------------------------------------------------------------------- /problog/test/test_subquery.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_subquery.py -------------------------------------------------------------------------------- /problog/test/test_system.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_system.py -------------------------------------------------------------------------------- /problog/test/test_tasks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_tasks.py -------------------------------------------------------------------------------- /problog/test/test_transformation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_transformation.py -------------------------------------------------------------------------------- /problog/test/test_try_call.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_try_call.py -------------------------------------------------------------------------------- /problog/test/test_unify.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_unify.py -------------------------------------------------------------------------------- /problog/test/test_web.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/test/test_web.py -------------------------------------------------------------------------------- /problog/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/util.py -------------------------------------------------------------------------------- /problog/version.py: -------------------------------------------------------------------------------- 1 | version = '2.2.9' 2 | -------------------------------------------------------------------------------- /problog/web/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /problog/web/editor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/editor.html -------------------------------------------------------------------------------- /problog/web/editor_adv.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/editor_adv.html -------------------------------------------------------------------------------- /problog/web/editor_local.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/editor_local.html -------------------------------------------------------------------------------- /problog/web/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/index.html -------------------------------------------------------------------------------- /problog/web/index_local.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/index_local.html -------------------------------------------------------------------------------- /problog/web/index_remote.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/index_remote.html -------------------------------------------------------------------------------- /problog/web/js/fonts/glyphicons-halflings-regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/fonts/glyphicons-halflings-regular.eot -------------------------------------------------------------------------------- /problog/web/js/fonts/glyphicons-halflings-regular.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/fonts/glyphicons-halflings-regular.svg -------------------------------------------------------------------------------- /problog/web/js/fonts/glyphicons-halflings-regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/fonts/glyphicons-halflings-regular.ttf -------------------------------------------------------------------------------- /problog/web/js/fonts/glyphicons-halflings-regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/fonts/glyphicons-halflings-regular.woff -------------------------------------------------------------------------------- /problog/web/js/lib/ace.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ace.js -------------------------------------------------------------------------------- /problog/web/js/lib/bootstrap-theme.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/bootstrap-theme.min.css -------------------------------------------------------------------------------- /problog/web/js/lib/bootstrap.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/bootstrap.min.css -------------------------------------------------------------------------------- /problog/web/js/lib/bootstrap.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/bootstrap.min.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-elastic_tabstops_lite.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-elastic_tabstops_lite.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-emmet.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-emmet.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-keybinding_menu.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-keybinding_menu.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-language_tools.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-language_tools.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-modelist.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-modelist.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-options.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-options.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-searchbox.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-searchbox.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-settings_menu.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-settings_menu.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-spellcheck.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-spellcheck.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-split.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-split.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-static_highlight.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-static_highlight.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-statusbar.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-statusbar.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-textarea.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-textarea.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-themelist.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-themelist.js -------------------------------------------------------------------------------- /problog/web/js/lib/ext-whitespace.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/ext-whitespace.js -------------------------------------------------------------------------------- /problog/web/js/lib/jquery-2.1.0.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/jquery-2.1.0.min.js -------------------------------------------------------------------------------- /problog/web/js/lib/jquery-ui.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/jquery-ui.min.js -------------------------------------------------------------------------------- /problog/web/js/lib/keybinding-emacs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/keybinding-emacs.js -------------------------------------------------------------------------------- /problog/web/js/lib/keybinding-vim.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/keybinding-vim.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-abap.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-abap.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-actionscript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-actionscript.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-ada.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-ada.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-asciidoc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-asciidoc.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-assembly_x86.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-assembly_x86.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-autohotkey.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-autohotkey.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-batchfile.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-batchfile.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-c9search.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-c9search.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-c_cpp.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-c_cpp.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-clojure.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-clojure.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-cobol.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-cobol.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-coffee.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-coffee.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-coldfusion.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-coldfusion.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-csharp.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-csharp.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-css.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-css.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-curly.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-curly.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-d.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-d.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-dart.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-dart.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-diff.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-diff.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-django.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-django.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-dot.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-dot.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-ejs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-ejs.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-erlang.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-erlang.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-forth.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-forth.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-ftl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-ftl.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-glsl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-glsl.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-golang.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-golang.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-groovy.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-groovy.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-haml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-haml.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-haskell.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-haskell.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-haxe.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-haxe.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-html.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-html.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-html_ruby.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-html_ruby.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-ini.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-ini.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-jade.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-jade.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-java.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-java.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-javascript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-javascript.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-json.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-json.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-jsoniq.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-jsoniq.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-jsp.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-jsp.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-jsx.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-jsx.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-julia.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-julia.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-latex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-latex.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-less.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-less.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-liquid.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-liquid.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-lisp.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-lisp.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-livescript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-livescript.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-logiql.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-logiql.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-lsl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-lsl.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-lua.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-lua.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-luapage.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-luapage.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-lucene.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-lucene.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-makefile.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-makefile.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-markdown.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-markdown.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-matlab.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-matlab.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-mushcode.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-mushcode.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-mushcode_high_rules.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-mushcode_high_rules.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-mysql.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-mysql.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-objectivec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-objectivec.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-ocaml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-ocaml.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-pascal.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-pascal.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-perl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-perl.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-pgsql.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-pgsql.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-php.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-php.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-plain_text.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-plain_text.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-powershell.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-powershell.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-problog.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-problog.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-prolog.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-prolog.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-properties.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-properties.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-python.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-python.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-r.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-r.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-rdoc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-rdoc.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-rhtml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-rhtml.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-ruby.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-ruby.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-rust.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-rust.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-sass.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-sass.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-scad.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-scad.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-scala.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-scala.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-scheme.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-scheme.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-scss.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-scss.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-sh.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-sh.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-snippets.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-snippets.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-sql.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-sql.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-stylus.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-stylus.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-svg.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-svg.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-tcl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-tcl.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-tex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-tex.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-text.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /problog/web/js/lib/mode-textile.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-textile.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-tmsnippet.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-tmsnippet.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-toml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-toml.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-twig.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-twig.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-typescript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-typescript.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-vbscript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-vbscript.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-velocity.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-velocity.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-verilog.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-verilog.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-xml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-xml.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-xquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-xquery.js -------------------------------------------------------------------------------- /problog/web/js/lib/mode-yaml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/mode-yaml.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/abap.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/abap.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/actionscript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/actionscript.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/ada.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/ada.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/asciidoc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/asciidoc.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/assembly_x86.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/assembly_x86.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/autohotkey.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/autohotkey.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/batchfile.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/batchfile.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/c9search.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/c9search.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/c_cpp.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/c_cpp.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/clojure.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/clojure.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/cobol.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/cobol.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/coffee.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/coffee.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/coldfusion.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/coldfusion.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/csharp.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/csharp.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/css.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/css.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/curly.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/curly.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/d.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/d.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/dart.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/dart.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/diff.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/diff.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/django.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/django.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/dot.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/dot.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/ejs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/ejs.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/erlang.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/erlang.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/forth.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/forth.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/ftl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/ftl.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/glsl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/glsl.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/golang.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/golang.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/groovy.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/groovy.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/haml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/haml.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/haskell.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/haskell.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/haxe.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/haxe.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/html.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/html.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/html_ruby.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/html_ruby.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/ini.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/ini.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/jade.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/jade.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/java.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/java.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/javascript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/javascript.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/json.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/json.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/jsoniq.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/jsoniq.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/jsp.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/jsp.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/jsx.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/jsx.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/julia.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/julia.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/latex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/latex.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/less.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/less.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/liquid.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/liquid.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/lisp.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/lisp.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/livescript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/livescript.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/logiql.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/logiql.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/lsl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/lsl.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/lua.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/lua.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/luapage.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/luapage.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/lucene.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/lucene.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/makefile.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/makefile.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/markdown.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/markdown.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/matlab.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/matlab.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/mushcode.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/mushcode.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/mushcode_high_rules.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/mushcode_high_rules.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/mysql.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/mysql.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/objectivec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/objectivec.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/ocaml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/ocaml.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/pascal.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/pascal.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/perl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/perl.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/pgsql.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/pgsql.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/php.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/php.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/plain_text.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/plain_text.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/powershell.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/powershell.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/prolog.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/prolog.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/properties.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/properties.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/python.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/python.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/r.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/r.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/rdoc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/rdoc.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/rhtml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/rhtml.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/ruby.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/ruby.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/rust.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/rust.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/sass.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/sass.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/scad.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/scad.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/scala.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/scala.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/scheme.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/scheme.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/scss.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/scss.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/sh.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/sh.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/snippets.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/snippets.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/sql.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/sql.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/stylus.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/stylus.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/svg.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/svg.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/tcl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/tcl.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/tex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/tex.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/text.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/text.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/textile.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/textile.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/toml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/toml.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/twig.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/twig.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/typescript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/typescript.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/vbscript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/vbscript.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/velocity.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/velocity.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/verilog.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/verilog.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/xml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/xml.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/xquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/xquery.js -------------------------------------------------------------------------------- /problog/web/js/lib/snippets/yaml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/snippets/yaml.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-ambiance.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-ambiance.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-chaos.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-chaos.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-chrome.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-chrome.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-clouds.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-clouds.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-clouds_midnight.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-clouds_midnight.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-cobalt.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-cobalt.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-crimson_editor.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-crimson_editor.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-dawn.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-dawn.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-dreamweaver.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-dreamweaver.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-eclipse.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-eclipse.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-github.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-github.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-githubwm.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-githubwm.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-idle_fingers.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-idle_fingers.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-kr.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-kr.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-merbivore.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-merbivore.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-merbivore_soft.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-merbivore_soft.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-mono_industrial.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-mono_industrial.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-monokai.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-monokai.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-pastel_on_dark.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-pastel_on_dark.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-solarized_dark.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-solarized_dark.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-solarized_light.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-solarized_light.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-terminal.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-terminal.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-textmate.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-textmate.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-tomorrow.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-tomorrow.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-tomorrow_night.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-tomorrow_night.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-tomorrow_night_blue.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-tomorrow_night_blue.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-tomorrow_night_bright.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-tomorrow_night_bright.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-tomorrow_night_eighties.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-tomorrow_night_eighties.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-twilight.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-twilight.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-vibrant_ink.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-vibrant_ink.js -------------------------------------------------------------------------------- /problog/web/js/lib/theme-xcode.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/theme-xcode.js -------------------------------------------------------------------------------- /problog/web/js/lib/worker-coffee.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/worker-coffee.js -------------------------------------------------------------------------------- /problog/web/js/lib/worker-css.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/worker-css.js -------------------------------------------------------------------------------- /problog/web/js/lib/worker-javascript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/worker-javascript.js -------------------------------------------------------------------------------- /problog/web/js/lib/worker-json.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/worker-json.js -------------------------------------------------------------------------------- /problog/web/js/lib/worker-lua.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/worker-lua.js -------------------------------------------------------------------------------- /problog/web/js/lib/worker-php.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/worker-php.js -------------------------------------------------------------------------------- /problog/web/js/lib/worker-xquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/lib/worker-xquery.js -------------------------------------------------------------------------------- /problog/web/js/mode-problog.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/mode-problog.js -------------------------------------------------------------------------------- /problog/web/js/problog_editor.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/problog_editor.js -------------------------------------------------------------------------------- /problog/web/js/problog_editor_advanced.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/js/problog_editor_advanced.js -------------------------------------------------------------------------------- /problog/web/logging.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/logging.conf -------------------------------------------------------------------------------- /problog/web/run_learning.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/run_learning.py -------------------------------------------------------------------------------- /problog/web/run_problog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/run_problog.py -------------------------------------------------------------------------------- /problog/web/server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/server.py -------------------------------------------------------------------------------- /problog/web/server_debug.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/web/server_debug.py -------------------------------------------------------------------------------- /problog/yap/ground_base.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/yap/ground_base.pl -------------------------------------------------------------------------------- /problog/yap/ground_base_compact.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/yap/ground_base_compact.pl -------------------------------------------------------------------------------- /problog/yap/ground_compact.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/problog/yap/ground_compact.pl -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/pyproject.toml -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/setup.py -------------------------------------------------------------------------------- /step-by-step.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/step-by-step.py -------------------------------------------------------------------------------- /test/00_builtins.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/00_builtins.pl -------------------------------------------------------------------------------- /test/00_trivial_and.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/00_trivial_and.pl -------------------------------------------------------------------------------- /test/00_trivial_duplicate.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/00_trivial_duplicate.pl -------------------------------------------------------------------------------- /test/00_trivial_fact.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/00_trivial_fact.pl -------------------------------------------------------------------------------- /test/00_trivial_fail.pl: -------------------------------------------------------------------------------- 1 | %Expected outcome: 2 | % a 0.0 3 | 4 | a :- fail. 5 | 6 | query(a). 7 | -------------------------------------------------------------------------------- /test/00_trivial_not.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/00_trivial_not.pl -------------------------------------------------------------------------------- /test/00_trivial_not_and.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/00_trivial_not_and.pl -------------------------------------------------------------------------------- /test/00_trivial_or.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/00_trivial_or.pl -------------------------------------------------------------------------------- /test/00_trivial_true.pl: -------------------------------------------------------------------------------- 1 | %Expected outcome: 2 | % a 1.0 3 | 4 | a. 5 | 6 | query(a). 7 | -------------------------------------------------------------------------------- /test/00_trivial_undefined.pl: -------------------------------------------------------------------------------- 1 | %Expected outcome: 2 | % ERROR UnknownClause 3 | 4 | query(a). -------------------------------------------------------------------------------- /test/00_trivial_undefined2.pl: -------------------------------------------------------------------------------- 1 | %Expected outcome: 2 | % ERROR UnknownClause 3 | 4 | p :- a. 5 | 6 | query(p). -------------------------------------------------------------------------------- /test/00_trivial_undefined2_failed.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/00_trivial_undefined2_failed.pl -------------------------------------------------------------------------------- /test/00_trivial_undefined_failed.pl: -------------------------------------------------------------------------------- 1 | %Expected outcome: 2 | % a 0 3 | 4 | :- unknown(fail). 5 | 6 | query(a). -------------------------------------------------------------------------------- /test/01_inconsistent.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/01_inconsistent.pl -------------------------------------------------------------------------------- /test/01_logic_implicit_equal.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/01_logic_implicit_equal.pl -------------------------------------------------------------------------------- /test/01_queries.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/01_queries.pl -------------------------------------------------------------------------------- /test/01_unbounded.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/01_unbounded.pl -------------------------------------------------------------------------------- /test/10_cards.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/10_cards.pl -------------------------------------------------------------------------------- /test/11_ads_numerical.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/11_ads_numerical.pl -------------------------------------------------------------------------------- /test/12_holidays.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/12_holidays.pl -------------------------------------------------------------------------------- /test/3_tossing_coin.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/3_tossing_coin.pl -------------------------------------------------------------------------------- /test/4_1_bayesian_net.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/4_1_bayesian_net.pl -------------------------------------------------------------------------------- /test/4_bayesian_net.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/4_bayesian_net.pl -------------------------------------------------------------------------------- /test/5_bayesian_net.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/5_bayesian_net.pl -------------------------------------------------------------------------------- /test/6_hmm_weather.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/6_hmm_weather.pl -------------------------------------------------------------------------------- /test/7_probabilistic_graph.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/7_probabilistic_graph.pl -------------------------------------------------------------------------------- /test/8_smokers_network.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/8_smokers_network.pl -------------------------------------------------------------------------------- /test/9_packing_problem.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/9_packing_problem.pl -------------------------------------------------------------------------------- /test/ad_clause.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/ad_clause.pl -------------------------------------------------------------------------------- /test/ad_fact.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/ad_fact.pl -------------------------------------------------------------------------------- /test/add.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/add.pl -------------------------------------------------------------------------------- /test/advars.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/advars.pl -------------------------------------------------------------------------------- /test/advars_smokers.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/advars_smokers.pl -------------------------------------------------------------------------------- /test/advars_smokers_alt.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/advars_smokers_alt.pl -------------------------------------------------------------------------------- /test/aggregate_builtins.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/aggregate_builtins.pl -------------------------------------------------------------------------------- /test/aggregate_builtins_scoped.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/aggregate_builtins_scoped.pl -------------------------------------------------------------------------------- /test/aggregate_custom.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/aggregate_custom.pl -------------------------------------------------------------------------------- /test/aggregate_satisfy.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/aggregate_satisfy.pl -------------------------------------------------------------------------------- /test/append.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/append.pl -------------------------------------------------------------------------------- /test/basic_scope_use.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/basic_scope_use.pl -------------------------------------------------------------------------------- /test/bigstack.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/bigstack.pl -------------------------------------------------------------------------------- /test/bn/single_atom_ad.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/bn/single_atom_ad.pl -------------------------------------------------------------------------------- /test/bug_nonground.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/bug_nonground.pl -------------------------------------------------------------------------------- /test/bug_nonground_error.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/bug_nonground_error.pl -------------------------------------------------------------------------------- /test/bug_nonground_more.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/bug_nonground_more.pl -------------------------------------------------------------------------------- /test/bug_unify.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/bug_unify.pl -------------------------------------------------------------------------------- /test/call.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/call.pl -------------------------------------------------------------------------------- /test/call_notfound.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/call_notfound.pl -------------------------------------------------------------------------------- /test/call_return_fail.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/call_return_fail.pl -------------------------------------------------------------------------------- /test/clause2_basic_tests.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/clause2_basic_tests.pl -------------------------------------------------------------------------------- /test/clause_pred.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/clause_pred.pl -------------------------------------------------------------------------------- /test/coin.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/coin.pl -------------------------------------------------------------------------------- /test/constraints/ensure_false.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/constraints/ensure_false.pl -------------------------------------------------------------------------------- /test/constraints/ensure_prob.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/constraints/ensure_prob.pl -------------------------------------------------------------------------------- /test/consult.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/consult.pl -------------------------------------------------------------------------------- /test/consult_nested.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/consult_nested.pl -------------------------------------------------------------------------------- /test/cut.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/cut.pl -------------------------------------------------------------------------------- /test/cut_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/cut_2.pl -------------------------------------------------------------------------------- /test/cycle_over_call.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/cycle_over_call.pl -------------------------------------------------------------------------------- /test/cycle_over_findall.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/cycle_over_findall.pl -------------------------------------------------------------------------------- /test/dtproblog/ex1.pl: -------------------------------------------------------------------------------- 1 | ?::b. 2 | 0.6::c :- b. 3 | utility(c,3). -------------------------------------------------------------------------------- /test/dtproblog/ex2.pl: -------------------------------------------------------------------------------- 1 | 0.6::b. 2 | ?::c :- b. 3 | utility(c,3). -------------------------------------------------------------------------------- /test/dtproblog/ex3.pl: -------------------------------------------------------------------------------- 1 | 0.6::b. 2 | c :- a, b. 3 | ?::a. 4 | utility(c,3). -------------------------------------------------------------------------------- /test/dtproblog/ex4.pl: -------------------------------------------------------------------------------- 1 | ?::b. 2 | ?::c :- b. 3 | utility(c,3). -------------------------------------------------------------------------------- /test/dtproblog/ex5.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/dtproblog/ex5.pl -------------------------------------------------------------------------------- /test/dtproblog/mut_exl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/dtproblog/mut_exl.pl -------------------------------------------------------------------------------- /test/dtproblog/mut_exl2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/dtproblog/mut_exl2.pl -------------------------------------------------------------------------------- /test/dtproblog/umbrella.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/dtproblog/umbrella.pl -------------------------------------------------------------------------------- /test/dtproblog/umbrella_poole.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/dtproblog/umbrella_poole.pl -------------------------------------------------------------------------------- /test/dtproblog/var_util.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/dtproblog/var_util.pl -------------------------------------------------------------------------------- /test/dtproblog/viralmarketing.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/dtproblog/viralmarketing.pl -------------------------------------------------------------------------------- /test/dtproblog/weather_poole_alt.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/dtproblog/weather_poole_alt.pl -------------------------------------------------------------------------------- /test/dtproblog/winning.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/dtproblog/winning.pl -------------------------------------------------------------------------------- /test/dtproblog/winning_undecided.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/dtproblog/winning_undecided.pl -------------------------------------------------------------------------------- /test/evidence_bug.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/evidence_bug.pl -------------------------------------------------------------------------------- /test/evidence_bug_alt.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/evidence_bug_alt.pl -------------------------------------------------------------------------------- /test/extern_lib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/extern_lib.py -------------------------------------------------------------------------------- /test/extern_test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/extern_test.pl -------------------------------------------------------------------------------- /test/extern_test_out.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/extern_test_out.pl -------------------------------------------------------------------------------- /test/findall.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/findall.pl -------------------------------------------------------------------------------- /test/findall1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/findall1.pl -------------------------------------------------------------------------------- /test/findall2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/findall2.pl -------------------------------------------------------------------------------- /test/findall3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/findall3.pl -------------------------------------------------------------------------------- /test/findall4.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/findall4.pl -------------------------------------------------------------------------------- /test/findall5.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/findall5.pl -------------------------------------------------------------------------------- /test/findall6.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/findall6.pl -------------------------------------------------------------------------------- /test/findall_check.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/findall_check.pl -------------------------------------------------------------------------------- /test/findall_duplicates.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/findall_duplicates.pl -------------------------------------------------------------------------------- /test/findall_nested.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/findall_nested.pl -------------------------------------------------------------------------------- /test/findall_with_anonymous.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/findall_with_anonymous.pl -------------------------------------------------------------------------------- /test/forall.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/forall.pl -------------------------------------------------------------------------------- /test/generated.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/generated.pl -------------------------------------------------------------------------------- /test/generic_scope.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/generic_scope.pl -------------------------------------------------------------------------------- /test/ground_nonground_bug_v1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/ground_nonground_bug_v1.pl -------------------------------------------------------------------------------- /test/ground_nonground_bug_v2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/ground_nonground_bug_v2.pl -------------------------------------------------------------------------------- /test/ground_nonground_bug_v3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/ground_nonground_bug_v3.pl -------------------------------------------------------------------------------- /test/ground_nonground_bug_v4.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/ground_nonground_bug_v4.pl -------------------------------------------------------------------------------- /test/ground_term_variable_prob.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/ground_term_variable_prob.pl -------------------------------------------------------------------------------- /test/hex_numbers.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/hex_numbers.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_10_1.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_10_1.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_10_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_10_1.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_1_1.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_1_1.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_1_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_1_1.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_2_1.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_2_1.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_2_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_2_1.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_3_1.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_3_1.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_3_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_3_1.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_3_2.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_3_2.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_3_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_3_2.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_4_1.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_4_1.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_4_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_4_1.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_4_2.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_4_2.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_4_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_4_2.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_5_1.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_5_1.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_5_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_5_1.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_5_2.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_5_2.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_5_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_5_2.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_5_3.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_5_3.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_5_3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_5_3.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_5_4.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_5_4.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_5_4.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_5_4.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_5_5.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_5_5.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_5_5.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_5_5.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_6_1.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_6_1.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_6_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_6_1.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_6_2.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_6_2.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_6_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_6_2.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_6_3.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_6_3.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_6_3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_6_3.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_7_3.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_7_3.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_7_3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_7_3.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_8_1.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_8_1.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_8_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_8_1.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_8_3.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_8_3.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_8_3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_8_3.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_8_5.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_8_5.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_8_5.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_8_5.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_8_7.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_8_7.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_8_7.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_8_7.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_8_8.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_8_8.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_8_8.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_8_8.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_9_1.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_9_1.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_9_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_9_1.pl -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_9_2.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_9_2.ev -------------------------------------------------------------------------------- /test/lfi/ad/ADtest_9_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/ad/ADtest_9_2.pl -------------------------------------------------------------------------------- /test/lfi/misc/bn_burglary_example.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/bn_burglary_example.ev -------------------------------------------------------------------------------- /test/lfi/misc/bn_burglary_example.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/bn_burglary_example.pl -------------------------------------------------------------------------------- /test/lfi/misc/burglary.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/burglary.ev -------------------------------------------------------------------------------- /test/lfi/misc/burglary.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/burglary.pl -------------------------------------------------------------------------------- /test/lfi/misc/burglary_local.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/burglary_local.ev -------------------------------------------------------------------------------- /test/lfi/misc/burglary_local.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/burglary_local.pl -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example1.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example1.ev -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example1.pl -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example2.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example2.ev -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example2.pl -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example3.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example3.ev -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example3.pl -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example4.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example4.ev -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example4.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example4.pl -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example5.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example5.ev -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example5.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example5.pl -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example6.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example6.ev -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example6.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example6.pl -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example7.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example7.ev -------------------------------------------------------------------------------- /test/lfi/misc/naive_bayes_example7.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/naive_bayes_example7.pl -------------------------------------------------------------------------------- /test/lfi/misc/noisy_or_example1.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/noisy_or_example1.ev -------------------------------------------------------------------------------- /test/lfi/misc/noisy_or_example1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/noisy_or_example1.pl -------------------------------------------------------------------------------- /test/lfi/misc/noisy_or_example2.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/noisy_or_example2.ev -------------------------------------------------------------------------------- /test/lfi/misc/noisy_or_example2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/noisy_or_example2.pl -------------------------------------------------------------------------------- /test/lfi/misc/noisy_or_example3.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/noisy_or_example3.ev -------------------------------------------------------------------------------- /test/lfi/misc/noisy_or_example3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/noisy_or_example3.pl -------------------------------------------------------------------------------- /test/lfi/misc/noisy_or_example4.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/noisy_or_example4.ev -------------------------------------------------------------------------------- /test/lfi/misc/noisy_or_example4.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/noisy_or_example4.pl -------------------------------------------------------------------------------- /test/lfi/misc/smokes.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/smokes.ev -------------------------------------------------------------------------------- /test/lfi/misc/smokes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/smokes.pl -------------------------------------------------------------------------------- /test/lfi/misc/social_network_example.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/social_network_example.ev -------------------------------------------------------------------------------- /test/lfi/misc/social_network_example.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/social_network_example.pl -------------------------------------------------------------------------------- /test/lfi/misc/word_topic.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/word_topic.ev -------------------------------------------------------------------------------- /test/lfi/misc/word_topic.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/misc/word_topic.pl -------------------------------------------------------------------------------- /test/lfi/simple/overview_simple_unittests.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/overview_simple_unittests.pdf -------------------------------------------------------------------------------- /test/lfi/simple/test_1.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_1.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_1.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_10.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_10.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_10.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_10.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_11.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_11.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_11.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_11.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_12.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_12.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_12.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_12.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_13.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_13.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_13.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_13.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_14.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_14.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_14.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_14.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_15.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_15.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_15.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_15.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_16.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_16.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_16.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_16.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_17.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_17.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_17.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_17.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_18.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_18.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_18.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_18.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_18_2.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_18_2.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_18_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_18_2.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_19.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_19.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_19.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_19.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_2.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_2.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_2.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_20.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_20.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_20.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_20.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_21.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_21.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_21.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_21.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_22.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_22.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_22.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_22.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_23.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_23.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_23.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_23.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_24.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_24.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_24.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_24.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_3.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_3.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_3.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_4.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_4.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_4.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_4.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_5.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_5.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_5.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_5.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_6.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_6.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_6.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_6.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_7.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_7.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_7.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_7.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_8.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_8.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_8.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_8.pl -------------------------------------------------------------------------------- /test/lfi/simple/test_9.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_9.ev -------------------------------------------------------------------------------- /test/lfi/simple/test_9.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/simple/test_9.pl -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_1.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_1.ev -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_1.pl -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_2.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_2.ev -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_2.pl -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_3.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_3.ev -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_3.pl -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_4.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_4.ev -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_4.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_4.pl -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_5.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_5.ev -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_5.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_5.pl -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_6.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_6.ev -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_6.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_6.pl -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_7.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_7.ev -------------------------------------------------------------------------------- /test/lfi/vars_in_tunable/test_7.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lfi/vars_in_tunable/test_7.pl -------------------------------------------------------------------------------- /test/lficont/lfi_gaussian_mixture.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lficont/lfi_gaussian_mixture.ev -------------------------------------------------------------------------------- /test/lficont/lfi_gaussian_mixture.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lficont/lfi_gaussian_mixture.pl -------------------------------------------------------------------------------- /test/lficont/lfi_gaussian_mixture_2d.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lficont/lfi_gaussian_mixture_2d.ev -------------------------------------------------------------------------------- /test/lficont/lfi_gaussian_mixture_2d.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lficont/lfi_gaussian_mixture_2d.pl -------------------------------------------------------------------------------- /test/lficont/lfi_gaussian_mixture_constraints.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lficont/lfi_gaussian_mixture_constraints.ev -------------------------------------------------------------------------------- /test/lficont/lfi_gaussian_mixture_constraints.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lficont/lfi_gaussian_mixture_constraints.pl -------------------------------------------------------------------------------- /test/lficont/lfi_gaussian_mixture_v.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lficont/lfi_gaussian_mixture_v.ev -------------------------------------------------------------------------------- /test/lficont/lfi_gaussian_mixture_v.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lficont/lfi_gaussian_mixture_v.pl -------------------------------------------------------------------------------- /test/lficont/lfi_gaussian_mixture_vv.ev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lficont/lfi_gaussian_mixture_vv.ev -------------------------------------------------------------------------------- /test/lficont/lfi_gaussian_mixture_vv.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/lficont/lfi_gaussian_mixture_vv.pl -------------------------------------------------------------------------------- /test/list_sample.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/list_sample.pl -------------------------------------------------------------------------------- /test/list_sample_multi.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/list_sample_multi.pl -------------------------------------------------------------------------------- /test/negation.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/negation.pl -------------------------------------------------------------------------------- /test/negative_cycle.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/negative_cycle.pl -------------------------------------------------------------------------------- /test/negative_cycle2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/negative_cycle2.pl -------------------------------------------------------------------------------- /test/negative_head_lits.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/negative_head_lits.pl -------------------------------------------------------------------------------- /test/negative_query.pl: -------------------------------------------------------------------------------- 1 | %Expected outcome: 2 | % \+p 0.7 3 | 4 | 0.3::p. 5 | 6 | query(\+p). -------------------------------------------------------------------------------- /test/non_ground_query.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/non_ground_query.pl -------------------------------------------------------------------------------- /test/nonground.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/nonground.pl -------------------------------------------------------------------------------- /test/parser/brack_wrong.pl: -------------------------------------------------------------------------------- 1 | a]. -------------------------------------------------------------------------------- /test/parser/comment_to_eof.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/parser/comment_to_eof.pl -------------------------------------------------------------------------------- /test/parser/dot_and_wrong.pl: -------------------------------------------------------------------------------- 1 | .a -------------------------------------------------------------------------------- /test/parser/end_with_var.pl: -------------------------------------------------------------------------------- 1 | add(X,Y) :- X + Y -------------------------------------------------------------------------------- /test/parser/incomplete_next_paren.pl: -------------------------------------------------------------------------------- 1 | a :- + -------------------------------------------------------------------------------- /test/parser/list_as_dot.pl: -------------------------------------------------------------------------------- 1 | p(.(a,.(b,[]))). 2 | 3 | query(p(L)). -------------------------------------------------------------------------------- /test/parser/literal_quot.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/parser/literal_quot.pl -------------------------------------------------------------------------------- /test/parser/mixed_quot.pl: -------------------------------------------------------------------------------- 1 | mixed(X) :- X == "qsdf'. 2 | -------------------------------------------------------------------------------- /test/parser/mixed_quot2.pl: -------------------------------------------------------------------------------- 1 | second_mixed(X) :- 'qsdf". 2 | -------------------------------------------------------------------------------- /test/parser/not_closed_dquot.pl: -------------------------------------------------------------------------------- 1 | 0.5::check(X) :- X == "qsdf. 2 | -------------------------------------------------------------------------------- /test/parser/not_supported.pl: -------------------------------------------------------------------------------- 1 | binary(X,Y) :- X & Y. 2 | -------------------------------------------------------------------------------- /test/parser/par_brack_mix_wrong.pl: -------------------------------------------------------------------------------- 1 | a(]). -------------------------------------------------------------------------------- /test/parser/par_brack_mix_wrong2.pl: -------------------------------------------------------------------------------- 1 | a[)]. -------------------------------------------------------------------------------- /test/parser/par_wrong.pl: -------------------------------------------------------------------------------- 1 | a). -------------------------------------------------------------------------------- /test/parser/pipe_comma.pl: -------------------------------------------------------------------------------- 1 | a([a,b|c,d]). -------------------------------------------------------------------------------- /test/parser/pipe_pipe.pl: -------------------------------------------------------------------------------- 1 | a([a,b|c|d]). -------------------------------------------------------------------------------- /test/parser/plus_functor.pl: -------------------------------------------------------------------------------- 1 | p(L) :- L is '+'(1,2). 2 | 3 | query(p(L)). -------------------------------------------------------------------------------- /test/parser/priority_clash.pl: -------------------------------------------------------------------------------- 1 | a = b = c. -------------------------------------------------------------------------------- /test/parser/question.pl: -------------------------------------------------------------------------------- 1 | queston(X,Y) :- X ? Y. 2 | -------------------------------------------------------------------------------- /test/parser/subexpr.pl: -------------------------------------------------------------------------------- 1 | (a,b). -------------------------------------------------------------------------------- /test/parser/terms_in_a_row.pl: -------------------------------------------------------------------------------- 1 | a b c. -------------------------------------------------------------------------------- /test/parser/test1.pl: -------------------------------------------------------------------------------- 1 | /* abc 2 | 3 | 4 | query(p). -------------------------------------------------------------------------------- /test/parser/test_operators.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/parser/test_operators.pl -------------------------------------------------------------------------------- /test/parser/unexpected_at.pl: -------------------------------------------------------------------------------- 1 | wrong_char_after_at(X,Y) :- X @= Y. 2 | -------------------------------------------------------------------------------- /test/parser/weird_operators.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/parser/weird_operators.pl -------------------------------------------------------------------------------- /test/parser/weird_operators2.pl: -------------------------------------------------------------------------------- 1 | p :- -(1,2). -------------------------------------------------------------------------------- /test/parser/z_char_above_126.pl: -------------------------------------------------------------------------------- 1 | micro(X) :- µ X. %%line 378 not calleble if None. 2 | -------------------------------------------------------------------------------- /test/parser/z_no_block_comment_end.pl: -------------------------------------------------------------------------------- 1 | /** 2 | qsdf. **/ 3 | -------------------------------------------------------------------------------- /test/parser/z_not_closed_bracket.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/parser/z_not_closed_bracket.pl -------------------------------------------------------------------------------- /test/query_same.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/query_same.pl -------------------------------------------------------------------------------- /test/same_var.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/same_var.pl -------------------------------------------------------------------------------- /test/sample/heights.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/sample/heights.pl -------------------------------------------------------------------------------- /test/sample/maze.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/sample/maze.pl -------------------------------------------------------------------------------- /test/sample/some_heads.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/sample/some_heads.pl -------------------------------------------------------------------------------- /test/sample/some_heads_evidence.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/sample/some_heads_evidence.pl -------------------------------------------------------------------------------- /test/sample/some_heads_previous.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/sample/some_heads_previous.pl -------------------------------------------------------------------------------- /test/scope_advanced_manipulations.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/scope_advanced_manipulations.pl -------------------------------------------------------------------------------- /test/scope_manipulation.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/scope_manipulation.pl -------------------------------------------------------------------------------- /test/scope_variable_manipulations.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/scope_variable_manipulations.pl -------------------------------------------------------------------------------- /test/select_weighted.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/select_weighted.pl -------------------------------------------------------------------------------- /test/smokers.sqlite: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/smokers.sqlite -------------------------------------------------------------------------------- /test/smokers_csv.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/smokers_csv.pl -------------------------------------------------------------------------------- /test/smokers_db.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/smokers_db.pl -------------------------------------------------------------------------------- /test/smokers_friend_of.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/smokers_friend_of.csv -------------------------------------------------------------------------------- /test/smokers_or.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/smokers_or.pl -------------------------------------------------------------------------------- /test/smokers_person.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/smokers_person.csv -------------------------------------------------------------------------------- /test/some_cycles.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/some_cycles.pl -------------------------------------------------------------------------------- /test/specific/bug_keep_order.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/specific/bug_keep_order.pl -------------------------------------------------------------------------------- /test/specific/long_clause.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/specific/long_clause.cnf -------------------------------------------------------------------------------- /test/subquery.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/subquery.pl -------------------------------------------------------------------------------- /test/swap.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/swap.pl -------------------------------------------------------------------------------- /test/tasks/map_probabilistic_graph.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/tasks/map_probabilistic_graph.pl -------------------------------------------------------------------------------- /test/tasks/pgraph.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/tasks/pgraph.pl -------------------------------------------------------------------------------- /test/tasks/some_heads.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/tasks/some_heads.pl -------------------------------------------------------------------------------- /test/tasks/some_heads_or.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/tasks/some_heads_or.pl -------------------------------------------------------------------------------- /test/tc_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/tc_1.pl -------------------------------------------------------------------------------- /test/tc_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/tc_2.pl -------------------------------------------------------------------------------- /test/tc_3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/tc_3.pl -------------------------------------------------------------------------------- /test/varunify_all.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/varunify_all.pl -------------------------------------------------------------------------------- /test/varunify_internal.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ML-KULeuven/problog/HEAD/test/varunify_internal.pl --------------------------------------------------------------------------------