Can DCG (--> and phrase) be defined within a Prolog that doesn\'t have them?
And if so, how come there are Prologs that do not implement DCG (according to Bratko)?
