/usr/lib/swipl/library/dcg/basics.pl
AllApplicationManualNameSummaryHelp

 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.