/src/eval_bevan/

• ../
• clean
• errlog
• eval_bevan.sh
• format_prolog.py
• test.out
• test.pl