Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Algebraic Logic Functional programming language
open-in-new
<h2 id="external-links">External links</h2> <ul><li><a href="http://www.informatik.uni-kiel.de/~mh/papers/">Publications of Michael Hanus</a>, including many articles relevant to the design and theory of ALF</li> <li><a href="http://www.informatik.uni-kiel.de/~mh/systems/ALF/README">Information about getting and installing the ALF system</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>"CMU Artificial Intelligence Repository". Carnegie Mellon University. 1995-02-13. Archived from the original on 23 June 2007. Retrieved 2007-06-22. <a href="https://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/0.html" target="_blank">https://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/0.html</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>"ALF: Algebraic Logic Functional programming language". CMU Artificial Intelligence Repository. Carnegie Mellon University. 1995-02-13. Archived from the original on 10 May 2007. Retrieved 2007-06-22. <a href="https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/fp_lp/alf/0.html" target="_blank">https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/fp_lp/alf/0.html</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Hanus, Michael; Andreas Schwab (1995-02-13). "ALF User's Manual" (PDF). Institut für Informatik, Christian-Albrechts-Universität zu Kiel. Archived (PDF) from the original on 11 July 2007. Retrieved 2007-06-22. <a href="http://www.informatik.uni-kiel.de/~mh/systems/ALF/manual.pdf" target="_blank">http://www.informatik.uni-kiel.de/~mh/systems/ALF/manual.pdf</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Hanus, Michael. "The ALF System". Institut für Informatik, Christian-Albrechts-Universität zu Kiel. Archived from the original on 25 June 2007. Retrieved 2007-06-22. <a href="http://www.informatik.uni-kiel.de/~mh/systems/ALF.html" target="_blank">http://www.informatik.uni-kiel.de/~mh/systems/ALF.html</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Hanus, Michael. "ALF License Agreement". The ALF System. Institut für Informatik, Christian-Albrechts-Universität zu Kiel. Archived from the original on 2 December 2015. Retrieved 2020-03-06. <a href="https://www.informatik.uni-kiel.de/~mh/systems/ALF/LICENSE" target="_blank">https://www.informatik.uni-kiel.de/~mh/systems/ALF/LICENSE</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> </ol>