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.