Odkazy na materiály súvisiace s funkcionálnym a logickým programovaním v pavučine
Odkazy na materiály v anglickom jazyku uvádzame v anglickom jazyku.
Funkcionálne programovanie
- http://www.alu.org/table/learn.htm
This website gives information mostly about Common Lisp. It gives listings of books, reference material, and other resources. There is also a guide to Lisp programming style which comes from the Lisp FAQ (a listing of Frequently Asked Questions, and their answers).
- http://www-cgi.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/cltl/cltl2.html
This document contains the complete text of the following book in HTML format
Common Lisp the Language, 2nd edition
by Guy L. Steele, Thinking Machines, Inc.
Digital Press, 1990, 1029 pages, ISBN 1-55558-041-6
- http://www.cs.nott.ac.uk/~gmh//faq.html
Frequently Asked Questions for comp.lang.functional . Edited by Graham Hutton, University of Nottingham.
- http://www.cs.kun.nl/fple
Page entitled Functional Programming Languages in Education. The aim of these web pages is to collect information on the use of functional programming in teaching. This covers important areas, such as algorithms and data structures, compiler construction, computer architecture, data base systems, computer graphics, mathematics, problem solving and the semantics of programming languages.
Functional languages are to be understood here in a broad sense, including lazy and strict functional languages, languages with a powerful functional subset and algebraic specification formalisms.
The pages are edited by Hugh Glaser of the University of Southampton, Stephen Jarvis of Oxford University and Marko van Eekelen of Nijmegen University assisted by Ronny Wichers Schreur of Nijmegen University.
- http://www.cs.tulane.edu/www/Villamil/lisp/lisp1.html
LISP TUTOR page. LISP TUTOR is a WWW tutorial that helps the student in the process of learning the LISP language, which seems a little hard at the beginning. It consists of several chapters that collects the most important features and in each feature interacts with the student giving him an immediate feedback about his learning process. At the end, the tutorial presents an On-Line TEST to be answered by the student and returns the corresponding grade when the student finishes and hands in the test.
- http://www.haskell.org
Pages related to Haskell. Haskell is a general purpose, purely functional programming language. Haskell compilers are freely available for almost any computer.
- http://www.tuke.sk/kollarj/courses.html#FP
Elektronická verzia knihy Funkcionálne programovanie, autor J. Kollár.
|
to Homepage |
|
to Books |
|
to the Top |
Logické programovanie
- http://kti.ms.mff.cuni.cz/~bartak/prolog/index.html
On-line Guide to Prolog Programming designed and maintained by Roman Barták. This site is a contribution to evolving area of logic programming languages and PROLOG in particular. It is an introduction to logic programming and PROLOG for beginners but I also covers some advanced topics. The site is "interactive" as it contains Test Zone where a reader can try and test Prolog programs interactively within your Java-capable web browser.
- http://www.ifcomputer.com/PrologCourse/#Mission%20Statement
Practical Standard Prolog Courseware Initiative. The aim of this initiative is to build a public and open-ended one-stop Web hosted service for all Prolog training needs from novice to expert user level.
- http://www.practical-applications.co.uk/Prolog/index.html
The aim of this web is to provide a convenient reference point for Prolog information sources, and to provide a structure on which to build.
- http://www.engin.umd.umich.edu/CIS/course.des/cis400/prolog/prolog.html
Informations about Prolog Programming Language. This site consists of the following sections: History, Significant Language Features, Areas of Application, Sample Programs, Related Links, Printed References.
- http://www.intranet.csupomona.edu/~jrfisher/www/prolog_tutorial/pt_framer.html
Prolog tutorial developed by J. R. Fisher.
- http://archive.comlab.ox.ac.uk/logic-prog.html
This document contains some pointers to information on Logic Programming available around the world on the World Wide Web (WWW or W3), a global hypermedia system providing worldwide information. The following sections are available: General repositories, Prolog, Window system interfaces, Other logic programming systems, Meetings, Books, Related information.
- http://hron.fei.tuke.sk/~csonto/miril/Titul.html
UMELÁ INTELIGENCIA (elektronická verzia návodov na cvičenia) - programuje sa v prologu. Autorom je doc. Csontó, TU Košice.
|
to Homepage |
|
to Books |
|
to the Top |
|
|
|
|