Talk:Datalog

From Wikipedia, the free encyclopedia

It would be nice if the examples were explained, such as "If X is a parent of Y, then we know that X is also an ancestor of Y".