module PrologRead: sig .. end
ISO-Prolog parser. See module PrologGenlex for restrictions on input.
- Additionally Prolog list notation (i.e. lists and conses using square
brackets) is accepted.
val prolog_parser : Term.symbol_table -> char Stream.t -> Term.term Stream.t
Parse the given ISO-Prolog clauses. Input is a stream of characters,
containing clauses, each terminated by a full stop, as usual in Prolog.
Output is a stream of terms, corresponding to the clauses in the input.
The output terms are standardized apart from each other (i.e. variable
objects are not shared). The variable numbers in each output term
are assigned starting from 0.