Overview

This section describes the syntax of Quintus Prolog.