From ff418c798b580204f6fea5512adc36835f8b7efa Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Wed, 30 Jun 2021 20:51:02 +0000 Subject: Add comparison predicates --- dat.h | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'dat.h') 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; -- cgit v1.2.3