TIL about Ichiban Prolog. Would you say the integration in your project was trivial?