Example #1
0
 class Bfact(Predicate):
     num1=IntegerField()
     str1=StringField()
Example #2
0
 class Cfact(ComplexTerm):
     aint = IntegerField()
     astr = StringField()
Example #3
0
 class Tup(ComplexTerm):
     aint = IntegerField()
     astr = StringField()
     class Meta: is_tuple = True
Example #4
0
 class Bfact(Predicate):
     astr = StringField()
     atup = Tup.Field()
Example #5
0
 class Fun(ComplexTerm):
     aint = IntegerField()
     astr = StringField()