Personal Knowledge Graphs, Ontology, Datalog, AI.
that have a starting node 1 ?- edge(1, _) As you can see, we use the same predicate for a query as we used for a fact definition, and the data log will give us all facts that are unified or pattern-matched with it edge(1,2) edge(1,4) We have a universal predicate that could be used to define and