0
Je dois créer une machine Datalog simple (ce qui signifie que mes entrées sont 2 fichiers: 1. faits, 2. règles.) J'utilise actuellement le paquetage pyDatalog. J'ai besoin d'analyser les faits et de créer des termes de façon dynamique.Comment créer des faits arithmétiques dynamiques dans pyDatalog?
du tutoriel de pyDatalog que j'ai trouvé cet exemple pour des faits de chargement:
load("""
ancestor(X,Y) <= parent(X,Y)
ancestor(X,Y) <= parent(X,Z) & ancestor(Z,Y)
""")
dans ce cas j'ai juste besoin d'analyser les chaînes d'un fichier.
Comment charger dynamiquement un terme arithmétique? (par exemple: SUM (X, Y, Z) -> Z = X + Y)
Merci!