shithub: pprolog

ref: 67e8b85a9f9b42acc896b44eb2ea1310e749f03a
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;