diff options
Diffstat (limited to 'dat.h')
-rw-r--r-- | dat.h | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -40,17 +40,18 @@ struct Choicepoint Choicepoint *next; }; +/* Sorted so that a lower value means it comes earlier in the standard ordering */ enum { - CompoundTerm, - AtomTerm, VariableTerm, NumberTerm, StringTerm, + AtomTerm, + CompoundTerm, }; enum { - NumberInt, NumberFloat, + NumberInt, }; int debug; |