Node:Prolog Intro, Next:, Previous:Run Intro, Up:Top



The Prolog Language

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.