/queries/prolog/