summaryrefslogtreecommitdiff
path: root/dat.h
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 20:51:02 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 20:51:02 +0000
commitff418c798b580204f6fea5512adc36835f8b7efa (patch)
tree71c24b829c2a037653e302adb680f4237fc2a6bb /dat.h
parenta8b1fadd149126e9c8d3081a56d206812211f1e6 (diff)
Add comparison predicates
Diffstat (limited to 'dat.h')
-rw-r--r--dat.h7
1 files changed, 4 insertions, 3 deletions
diff --git a/dat.h b/dat.h
index a090afb..2cf28b7 100644
--- a/dat.h
+++ b/dat.h
@@ -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;