shithub: pprolog

ref: 79d1fe1cf2eb6748e2c12ffe9c36a678655302b1
dir: /dat.h/

View raw version
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;