search

mthom / scryer-prolog

A modern Prolog implementation written mostly in Rust.
BSD 3-Clause "New" or "Revised" License
2.01k stars 117 forks source link

Porting a mathematical modeling library to Scryer Prolog #2576

Open triska opened 2 days ago

triska commented 2 days ago

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.

hurufu commented 2 days ago

I would be glad to learn it, but I need a to do list for items that I want to add to my to do list... 🥲