Extending the $\mathcal{TOY}$ System with the ECL i PS e Solver over Sets of Integers

DOI10.1007/978-3-642-29822-6_12zbMath1354.68036OpenAlexW1590251201MaRDI QIDQ2900259

Jesús Correas Fernández, Fernando Sáenz-Pérez, Sonia Estévez-Martín

Publication date: 20 July 2012

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29822-6_12

zbMATH Keywords

implementationconstrained lazy narrowingconstraint functional logic programmingdomain cooperation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Uses Software

• TOY

This page was built for publication: Extending the $\mathcal{TOY}$ System with the ECL i PS e Solver over Sets of Integers