Question about Datalog F3

Very cool!

Could you elaborate on what it means that DatalogF3 is a ‘PER’?