Porting a mathematical modeling library to Scryer Prolog

[triska]

François Fages provides metapredicates for mathematical modeling in the following package:

https://lifeware.inria.fr/~fages/modeling-1.1.5.zip

Especially for you @bakaq, @hurufu, @jjtolton and everyone who has expressed interest in constraints and meta-predicates, it may be interesting to look at this code and see what portions can be made to run with Scryer and other conforming Prolog systems, and which changes in the library code are necessary for this.

François will also give a talk about this library at the Scryer Prolog Meetup 2024 in Vienna, and this could be an opportunity for interesting cooperations on this topic.