
struct source_term(term, vars, annotated)

   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 information (or [] if the with_annotations option is in effect)
   annotated           An annotated version of term with source and type information (only if with_annotations option given, otherwise uninstantiated)

Type
   library(source_processor)

See Also
   readvar / 3, read_annotated / 2
