In this section we describe the syntax of ÷ PROLOG programs. A Prolog program is made up of one or more of the following program elements:
®®