dcg_basics:eos/2

Matches end-of-input. The implementation behaves as the following portable implementation:

eos --> call(eos_).
eos_([], []).

To be done: - This is a difficult concept and violates the context free property of DCGs. Explain the exact problems.