http://www-history.mcs.st-andrews.ac.uk/
MacTutor History of Mathematics

http://www.ai.sri.com/natural-language/projects/fastus.html
FASTUS

http://www.ai.sri.com/~appelt/ie-tutorial/
Intro to Information Extraction

http://vl.fmnet.info/logic-prog/
Logic Programming website

http://clip.dia.fi.upm.es/Software/Ciao/
Ciao Prolog