arkenidar.com

datalog (inference from facts and rules)

datalog (inference from facts and rules) using pyDatalog (pythonic datalog extension)
from pyDatalog import pyDatalog

pyDatalog.create_terms("parent")
+ parent("xerces", "brooke")
+ parent("brooke", "damocles")

pyDatalog.create_terms("ancestor,X,Y,Z")
ancestor(X,Y) <= parent(X,Y)
ancestor(X,Y) <= parent(X,Z) & ancestor(Z,Y)

print(ancestor("xerces", X))

datalog (inference from facts and rules) using pyDatalog (pythonic datalog extension)

arkenidar

Lascia un commento

Il tuo indirizzo email non sarà pubblicato.

Questo sito usa Akismet per ridurre lo spam. Scopri come i tuoi dati vengono elaborati.