dat.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

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;