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



Syntax, Terminology and Informal Semantics