The (pp_FOprolog p) is partially fixed. I wanted to use the clausify and to avoid the *term_of_ast function, but I get the arguments without the functor of the left-hand side of the clause. So, I decided to pattern match for the rimpl directly. The customs make problems because of some false assertions, but I will find a way to fix it.
The (pp_FOprolog p) is partially fixed. I wanted to use the
clausify and to avoid the *term_of_ast function,
but I get the arguments without the functor of
the left-hand side of the clause. So, I decided to pattern match
for the rimpl directly.
The customs make problems because of some false assertions, but I will
find a way to fix it.

LPCIC/elpi