eos//0

Availability::- use_module(library(dcg/basics)).

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.