Comment by baudaux

Thanks. I will have a look. I would like to integrate one Prolog in exaequOS.