3 ms·is a Prolog derivative with FOHH clauses, first post says it.by nahuel0x 6y agois a Prolog derivative with FOHH clauses, first post says it.