ref: 79d1fe1cf2eb6748e2c12ffe9c36a678655302b1
dir: /dat.h/
typedef struct Term Term; struct Term { int tag; Rune *text; int arity; Term *next; Term *children; int numbertype; vlong ival; double dval; uvlong clausenr; }; enum { CompoundTerm, AtomTerm, VariableTerm, NumberTerm, StringTerm, }; enum { NumberInt, NumberFloat, }; int debug; Term *initgoals;