3 ms·A Mathematical Modeling Library in Prolog with Answer Constraint Semantics2 points by triska 3y ago