I saw this paper just yesterday from another source. This is brilliant in it's simplicity and the performance is pretty impressive.
I hope to write something like this in Julia.
Wondering if I'm missing something but the example is
fact(X, R, Y) :∼ cat facts.tsv
locatedIn(X, Y) :- fact(X, "locatedIn", Y).
locatedIn(X, Y) :- locatedIn(X, Z), fact(Z, "locatedIn", Y).
main(X) :- locatedIn(X, "USA")
I think line 3 could just be
locatedIn(X, Y) :- locatedIn(X, Z), locatedIn(Z,Y).
unless I'm missing something.
Wondering if I'm missing something but the example is
fact(X, R, Y) :∼ cat facts.tsv
locatedIn(X, Y) :- fact(X, "locatedIn", Y).
locatedIn(X, Y) :- locatedIn(X, Z), fact(Z, "locatedIn", Y).
main(X) :- locatedIn(X, "USA")
I think line 3 could just be locatedIn(X, Y) :- locatedIn(X, Z), locatedIn(Z,Y).
unless I'm missing something.