Use

# Compile
make
# TypeChecker
./typrog xxx.aps
# Evaluate
./eval xxx.aps

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.idea		.idea
.metadata		.metadata
.settings		.settings
Samples		Samples
bin		bin
flex		flex
lib		lib
prolog		prolog
src		src
yacc		yacc
.classpath		.classpath
.project		.project
.script.sh.kate-swp		.script.sh.kate-swp
How_to_compile_and_test.txt		How_to_compile_and_test.txt
Makefile		Makefile
README.md		README.md
Rapport_APS_5_.pdf		Rapport_APS_5_.pdf
eval		eval
prologTerm		prologTerm
test_all.sh		test_all.sh
typrog		typrog

Provide feedback