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