Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Functional logic programming
open-in-new
<h2 id="external-links">External links</h2> <ul><li><a href="http://www.informatik.uni-kiel.de/~mh/FLP/">Functional logic programming</a> at U. Kiel</li> <li><a href="http://www.swi-prolog.org/pack/list?p=func">"func" library for SWI-Prolog</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74–85. <a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.207.2248&rep=rep1&type=pdf" target="_blank">http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.207.2248&rep=rep1&type=pdf</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Hanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "Curry: A truly functional logic language." Proc. ILPS. Vol. 95. No. 5. 1995. <a href="https://web.archive.org/web/20190305105250/http://pdfs.semanticscholar.org/d1b4/e96aeb14b2e6c577887a819d8f3c438a122d.pdf" target="_blank">https://web.archive.org/web/20190305105250/http://pdfs.semanticscholar.org/d1b4/e96aeb14b2e6c577887a819d8f3c438a122d.pdf</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74–85. <a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.207.2248&rep=rep1&type=pdf" target="_blank">http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.207.2248&rep=rep1&type=pdf</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>AUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. "The Verse Calculus: a Core Calculus for Functional Logic Programming." <a href="https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf" target="_blank">https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Kuchen, Herbert. "The Journal of Functional and Logic Programming". University of Münster. <a href="http://danae.uni-muenster.de/lehre/kuchen/JFLP/" target="_blank">http://danae.uni-muenster.de/lehre/kuchen/JFLP/</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> </ol>