GitHub - nablaa/prolog-interpreter-c: Prolog interpreter in C

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 69 Commits
.gitignore		.gitignore
ack.pl		ack.pl
ackermann.pl		ackermann.pl
apply_1_t.pl		apply_1_t.pl
apply_1_u.pl		apply_1_u.pl
evaluation.txt		evaluation.txt
exercise5.html		exercise5.html
facts.pl		facts.pl
main.c		main.c
number.pl		number.pl
parent.pl		parent.pl
parent_q.pl		parent_q.pl
parse_test.pl		parse_test.pl
plinterpreter.c		plinterpreter.c
plinterpreter.h		plinterpreter.h
plparse.c		plparse.c
plparse.h		plparse.h
plstack.c		plstack.c
plstack.h		plstack.h
plterm.c		plterm.c
plterm.h		plterm.h
pltoken.c		pltoken.c
pltoken.h		pltoken.h
plunify.c		plunify.c
plunify.h		plunify.h
prolog.c		prolog.c
qs_query.pl		qs_query.pl
query.pl		query.pl
quicksort.pl		quicksort.pl
run.sh		run.sh
sum.pl		sum.pl
sum_query.pl		sum_query.pl
test.pl		test.pl
test.sh		test.sh
test_1.pl		test_1.pl
test_interpret_1_db.pl		test_interpret_1_db.pl
test_interpret_1_query.pl		test_interpret_1_query.pl
test_interpret_2_db.pl		test_interpret_2_db.pl
test_interpret_2_query.pl		test_interpret_2_query.pl
test_interpret_3_db.pl		test_interpret_3_db.pl
test_interpret_3_query.pl		test_interpret_3_query.pl
test_interpret_4_db.pl		test_interpret_4_db.pl
test_interpret_4_query.pl		test_interpret_4_query.pl
test_plinterpreter.c		test_plinterpreter.c
test_plinterpreter.h		test_plinterpreter.h
test_plparse.c		test_plparse.c
test_plparse.h		test_plparse.h
test_plterm.c		test_plterm.c
test_plterm.h		test_plterm.h
test_pltoken.c		test_pltoken.c
test_pltoken.h		test_pltoken.h
test_plunify.c		test_plunify.c
test_plunify.h		test_plunify.h
test_query.pl		test_query.pl
tests.h		tests.h
unification.txt		unification.txt
unify.pl		unify.pl
unify_test_1.pl		unify_test_1.pl
unify_test_10.pl		unify_test_10.pl
unify_test_11.pl		unify_test_11.pl
unify_test_12.pl		unify_test_12.pl
unify_test_2.pl		unify_test_2.pl
unify_test_3.pl		unify_test_3.pl
unify_test_4.pl		unify_test_4.pl
unify_test_5.pl		unify_test_5.pl
unify_test_6.pl		unify_test_6.pl
unify_test_7.pl		unify_test_7.pl
unify_test_8.pl		unify_test_8.pl
unify_test_9.pl		unify_test_9.pl