prolog/tests
