[ library(source_processor) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

struct source_term(term, vars)

A source term with additional information

Fields

term: A term read from a source file (a clause, fact, etc)
vars: A list of the term's variables and their names

See Also