Testing some prolog stuff with a state container