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

Syntax, Terminology and Informal Semantics

• Terms: Terms
• Programs: Programs