Author(s): Francisco Bueno, Daniel Cabeza.
Version: 1.10#7 (2006/4/26, 19:22:13 CEST)
Version of last change: 1.9#215 (2003/12/21, 2:27:2 CET)
This module implements the predicates involved in the atom to term conversion.
atom2term)atom2term)
Usage: atom2term(+Atom, -Term)
Atom is an atom, but must have term syntax. Term is a term resulting from parsing Atom char by char.
Usage: string2term(+String, -Term)
Usage: parse_term(+String, -Term, ?Dummy)
String is parsed into Term upto Dummy (which is the non-parsed rest of the list).
atom2term)Go to the first, previous, next, last section, table of contents.