This lecture has two main goals:
To examine two important capabilities offered by DCG notation: extra arguments and extra tests.
To discuss the status and limitations of DCGs.