Node:
Syntax
, Next:
Declarative
, Previous:
Prolog Intro
, Up:
Prolog Intro
Syntax, Terminology and Informal Semantics
Terms
:
Programs
: