This library package allows the use of certain Prolog features which have become sort of 'classical' from many Prolog implementations. These include definite clause grammars and some classical predicates like append/3. The libraries listed below define these predicates, and the following chapters describe them.
classic)Go to the first, previous, next, last section, table of contents.