The IMP (Explicit)

DCG (Explicit)