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