diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 20:51:02 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 20:51:02 +0000 |
commit | ff418c798b580204f6fea5512adc36835f8b7efa (patch) | |
tree | 71c24b829c2a037653e302adb680f4237fc2a6bb /dat.h | |
parent | a8b1fadd149126e9c8d3081a56d206812211f1e6 (diff) |
Add comparison predicates
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; |