Atom to term conversion

Author(s): Francisco Bueno, Daniel Cabeza.

Version: 1.11#222 (2004/5/24, 13:8:7 CEST)

Version of last change: 1.11#92 (2003/12/21, 2:27:29 CET)

This module implements the predicates involved in the atom to term conversion.

Usage and interface (`atom2term`)

PREDICATE: atom2term/2:

Usage: atom2term(Atom, Term)

Description: Convert an atom into a term. Atom is an atom, but must have term syntax. Term is a term resulting from parsing Atom char by char.
The following properties should hold at call time: Atom is currently a term which is not a free variable. (term_typing:nonvar/1) Term is a free variable. (term_typing:var/1)

PREDICATE: string2term/2:

Usage: string2term(String, Term)

Description: Same as atom2term/2 but first argument is a string (containing a term).
The following properties should hold at call time: String is currently a term which is not a free variable. (term_typing:nonvar/1) Term is a free variable. (term_typing:var/1)

PREDICATE: parse_term/3:

Usage: parse_term(String, Term, Dummy)

Description: String is parsed into Term upto Dummy (which is the non-parsed rest of the list).
The following properties should hold at call time: String is currently a term which is not a free variable. (term_typing:nonvar/1) Term is a free variable. (term_typing:var/1)

This is just a quick hack written mainly for parsing daVinci's messages. There should be a call to the standard reader to do this!