all: .PHONE: test test: swipl -q -f t/test_with_state.pl -t 'halt(0)' check: install: clean: