Linux
.....\formula.c
.....\formula.h
.....\interpretation.c
.....\interpretation.h
.....\list.c
.....\list.h
.....\logic.c
.....\logic.h
.....\Makefile
.....\names.txt
.....\predicates.txt
.....\reason.c
.....\stack.c
.....\stack.h
.....\true_atoms.txt