Skip to main content
SpringerLink
Log in

Integrating ILOG CP Technology into \(\mathcal{TOY}\)

  • Conference paper
Functional and Constraint Logic Programming (WFLP 2009)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5979))

Included in the following conference series:

Abstract

The constraint functional logic programming system \(\mathcal{TOY}\) has been using the SICStus Prolog finite domain (\(\mathcal{FD}\)) constraint solver. In this work, we show how to integrate the ILOG CP \(\mathcal{FD}\) constraint solving technology into this system, with the aim of improving its application domain and performance. We describe our implementation emphasizing the synchronization between Herbrand computations in the \(\mathcal{TOY}\) side and \(\mathcal{FD}\) constraint solving in the ILOG CP side. Finally, performance results are reported and discussed.

This work has been partially supported by the Spanish projects TIN2005-09207-C03-03, TIN2008-06622-C03-01, S-0505/TIC/0407 and UCM-BSCH-GR58/08-910502.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arenas, P., Estévez, S., Fernández, A., Gil, A., López-Fraguas, F., Rodríguez-Artalejo, M., Sáenz-Pérez, F.: \(\mathcal{TOY}\). A multiparadigm declarative language. version 2.3.1 (2007); Caballero, R., Sánchez, J. (eds.), http://toy.sourceforge.net

  2. del Campo, R.G., Sáenz-Pérez, F.: Programmed search in a timetabling problem over finite domains. Electronic Notes in Theoretical Computer Science 177, 253–267 (2007)

    Article  Google Scholar 

  3. Estévez-Martín, S., Fernández, A., Hortalá-González, M., Sáenz-Pérez, F., Rodríguez-Artalejo, M., del Vado-Vírseda, R.: On the Cooperation of the Constraint Domains H, R and FD in CFLP. Theory and Practice in Logic Programming 9(4), 415–527 (2009)

    Article  MATH  Google Scholar 

  4. Estévez-Martín, S., Fernández, A.J., Sáenz-Pérez, F.: About implementing a constraint functional logic programming system with solver cooperation. In: Proc. of CICLOPS 2007, pp. 57–71 (2007)

    Google Scholar 

  5. Fernández, A.J., Hortalá-González, T., Sáenz-Pérez, F., del Vado-Vírseda, R.: Constraint Functional Logic Programming over Finite Domains. Theory and Practice in Logic Programming 7(5), 537–582 (2007)

    Article  MATH  Google Scholar 

  6. Gecode. Gecode, http://www.gecode.org/

  7. ILOG. ILOG Solver 6.6, Reference Manual (2008)

    Google Scholar 

  8. ILOG. ILOG OPL Studio 6.1, Reference Manual (2009)

    Google Scholar 

  9. Microsoft (2005), http://msdn.microsoft.com/en-us/visualc/default.aspx

  10. SICStus Prolog. Using SICStus Prolog with newer Microsoft C compilers, http://www.sics.se/isl/sicstuswww/site/dontpanic.html

  11. SICStus Prolog (2007), http://www.sics.se/isl/sicstus

Download references

Author information

Authors and Affiliations

  1. Dept. Sistemas Informáticos y Computación,  

    Ignacio Castiñeiras

  2. Dept. Ingeniería del Software e Inteligencia Artificial, Universidad Complutense de Madrid,  

    Fernando Sáenz-Pérez

Authors
  1. Ignacio Castiñeiras
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fernando Sáenz-Pérez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Camino de vera, s/n, 46022, Valencia, Spain

    Santiago Escobar

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Castiñeiras, I., Sáenz-Pérez, F. (2010). Integrating ILOG CP Technology into \(\mathcal{TOY}\) . In: Escobar, S. (eds) Functional and Constraint Logic Programming. WFLP 2009. Lecture Notes in Computer Science, vol 5979. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11999-6_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-11999-6_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-11998-9

  • Online ISBN: 978-3-642-11999-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation