class Afact3(Predicate):
class Fun(ComplexTerm):
fnum=IntegerField()
anum=IntegerField()
afun=Fun.Field()
# afun=ComplexField(Fun)
class Meta: name = "afact"
class Afact2(Predicate):
anum1=IntegerField()
anum2=IntegerField()
astr=StringField()
class Meta: name = "afact"
class Tmp(Predicate):
n1 = IntegerField()
r1 = RawField()
class Cfact(Predicate):
num1=IntegerField()
class Bfact(Predicate):
num1=IntegerField()
str1=StringField()
class CT(ComplexTerm):
a = IntegerField
b = StringField(index=True)
c = (IntegerField(index=True),ConstantField)
class Bfact(Predicate):
num1=IntegerField(index=True)
str1=StringField()
class Fact2(Predicate):
aint = IntegerField()
araw = RawField()
class Meta: name = "fact"
class Fact1(Predicate):
aint = IntegerField()
aconst = ConstantField()
class Meta: name = "fact"
class Fact2(Predicate):
aint = IntegerField()
atuple = ATuple.Field()
class Meta: name = "fact"
class ATuple(ComplexTerm):
aconst=ConstantField()
bint = IntegerField()
class Meta: is_tuple = True
class Bfact(Predicate):
anum=IntegerField()
astr=StringField()
class Fun(ComplexTerm):
fnum=IntegerField()
class Fact(Predicate):
ct1 = CT.Field()
ct2 = (IntegerField(), IntegerField())
class CT(ComplexTerm):
num1 = IntegerField()
str1 = StringField()
class EDate(ComplexTerm):
idx = IntegerField()
date = DateField()
class Meta:
name = "edate"