test:
	swipl -s tests.pl -g run_tests,halt -t 'halt(1)'