!TITLE Prolog Syntax !KEY This section gives an overview of Prolog's syntax.