3 ms·Oh right this is just Horn clauses, not CHCsby xavxav 3y agoOh right this is just Horn clauses, not CHCs