How to identify if a predicate is a DCG?

Help! Algorithm
2

For recent versions there is predicate_property/2 with the property non_terminal

1 Like