all:
	swipl -o mindt -g main_c -t halt -q -c mindt.pl