Node:Syntax, Next:Declarative, Previous:Prolog Intro, Up:Prolog Intro

Syntax, Terminology and Informal Semantics

• Terms:
• Programs: