Node:Prolog Intro, Next:Module Intro, Previous:Run Intro, Up:Top
This chapter provides a brief introduction to the syntax and semantics of a certain subset of logic (definite clauses, also known as Horn clauses), and indicates how this subset forms the basis of Prolog.