GitHub - jarecsni/prolog-bratko

Name		Name	Last commit message	Last commit date
Latest commit History 38 Commits
.kiro		.kiro
.vscode		.vscode
docs		docs
exercises		exercises
~/.kiro/scripts		~/.kiro/scripts
2_5_monkey.pl		2_5_monkey.pl
2_5_monkey_with_state.pl		2_5_monkey_with_state.pl
3_2_lists.pl		3_2_lists.pl
3_3_operators-output.md		3_3_operators-output.md
3_3_operators.pl		3_3_operators.pl
3_4_arithmetic-output.md		3_4_arithmetic-output.md
3_4_arithmetic.pl		3_4_arithmetic.pl
ANALYZER_README.md		ANALYZER_README.md
analyze		analyze
cyclic_data_examples.pl		cyclic_data_examples.pl
demo_list_syntax.pl		demo_list_syntax.pl
family.pl		family.pl
hemingway-bridge.md		hemingway-bridge.md
list_syntax.pl		list_syntax.pl
make_list_js_demo.js		make_list_js_demo.js
prolog_analyzer.pl		prolog_analyzer.pl
prolog_proof_tree_example.txt		prolog_proof_tree_example.txt
recursion_patterns.pl		recursion_patterns.pl
socrates.pl		socrates.pl
test-family.pl		test-family.pl
test_cyclic.pl		test_cyclic.pl
test_interactive.pl		test_interactive.pl
test_priority.pl		test_priority.pl
unification.pl		unification.pl