You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: