more tests with prolog script