@worldsendless I have not really used Datalog much. My understanding is that Datalog has some halting guarantees over Prolog. I always figured that was due to Prolog’s extra-logical operations like ! (cut) are not in Datalog. But I’m not an expert in that.