- eos//
- 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.