// the right abstraction to think about Datalog is … first order predicate calculus, not the relational calculus// Umm… I hate to be contrary, but FOPC is a lo

// the right abstraction to think about Datalog is … first order predicate calculus, not the relational calculus// Umm… I hate to be contrary, but FOPC is a logic about relations. You might think that it is about objects, and it is, but only indirectly, mediated by relations. Constants which refer to objects only appear in the argument lists of relations. FOPC is all about relations. It’s the language we use when we want to formally define a relation.