人工智能编程

AI Programming Resources

http://www.cs.berkeley.edu/~russell/prog.html

PC AI - Logic Programming

http://www.pcai.com/pcai/New_Home_Page/ai_info/logic_programming.html

Computational Logic

http://archive.museophile.sbu.ac.uk/compulog/

Genetic-Programming.org

http://www.genetic-programming.org/

ILOG, Inc.

http://www.ilog.com/

University of Washington: Constraint-Based Systems

http://www.cs.washington.edu/research/constraints/

Declarative Systems & Software Engineering (DSSE) Group

http://www.dsse.ecs.soton.ac.uk/

Extreme Software

http://www.plogic.com/extreme.html

Topics in Information Processing 2CS24: Declarative Languages

http://www.csc.liv.ac.uk/~frans/OldLectures/2CS24/declarative.html

Constraint Logic Programming

http://www.ai.univie.ac.at/oefai/clp/ http://www.idiom.com/free-compilers/TOOL/CLP-1.html http://citeseer.nj.nec.com/24834.html http://www.cs.unh.edu/ccc/archive/

comp.lang.functional FAQ

http://www.cs.nott.ac.uk/Department/Staff/gmh/faq.html

Mondrian

http://www.mondrian-script.org/

John McCarthy

http://www-formal.stanford.edu/jmc/

Screamer Tool Repository

http://www.cis.upenn.edu/~screamer-tools/home.html

Lisp Resources

http://eksl-www.cs.umass.edu/lisp-resources/ http://psg.com/~dlamkins/sl/cover.html

Mercury Project

http://www.cs.mu.oz.au/research/mercury/

The Miranda Programming Language

http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html

Mozart Programming System

http://www.mozart-oz.org/

Oz Programming System

http://www.ps.uni-sb.de/oz2/

Logic Programming Associates

http://www.lpa.co.uk/

Cetus Links: Prolog

http://www.cetus-links.org/oo_prolog.html

The Scheme Programming Language

http://www.swiss.ai.mit.edu/projects/scheme/index.html

Schemers.org

http://www.schemers.org/

CMU Scheme Repository

http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/scheme/0.html

/**/