shithub: pprolog

ref: d5ce41f05bc322fa2fb4d0eee66080b3b3004853
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;
};

enum {
	CompoundTerm,
	AtomTerm,
	VariableTerm,
	NumberTerm,
	StringTerm,
};

enum {
	NumberInt,
	NumberFloat,
};

int debug;
Term *initgoals;