Neural Networks and Deep Learning online book

http://neuralnetworksanddeeplearning.com/index.html

I've recently got into the topic of deep learning having been interested in Neural Nets for some years. Here's a good resource. It's a free book that you can donate if you wish.

Machine Learning in Python

I was looking for info on Stocastic Gradient Decent algorithm and saw this:

Scikit

http://scikit-learn.org/stable/index.html

There is a good 45 min video http://scikit-learn.org/stable/presentations.html (the skit-learn video by Jake Vanderplas) where the url he talks about is wrong I think he means http://www.astroml.org/sklearn_tutorial/

I've since been searching around and found the following that look interesting too:

PyBrain

http://www.pybrain.org

mlpy

http://mlpy.sourceforge.net
Seems pretty extensive

milk

http://pythonhosted.org/milk/

Still early days

Prolog resources

Getting started

An introduction to logic programming through Prolog
An introduction to logic programming through Prolog was published by Prentice-Hall in 1996 but is now out of print. The author kindly provides a pdf of the text here:
http://spivey.oriel.ox.ac.uk/corner/Logic_Programming

Learn Prolog Now! website
Online
http://www.learnprolognow.org/lpnpage.php?pageid=online


Programming in Prolog: Using the ISO Standard 

by C.S. Mellish (Author), W.F. Clocksin

Logic

"Bob's book". Logic for Problem Solving

Logic for Problem Solving by Robert Kowalski is out of print but fortunatley the text can be viewed in pdf for at his web page at Imperial College.

http://www.doc.ic.ac.uk/~rak/

Simply Logical, Intelligent Reasoning by Example
Simply Logical, Intelligent Reasoning by Example by Peter Flach is out of print but he kindly provides a pdf http://www.cs.bris.ac.uk/~flach/SimplyLogical.html

AI

Prolog Programming for Artificial Intelligence

by Ivan Bratko


Interesting Sites

Logic in Action
http://www.logicinaction.org

This is the new homepage of the Logic in Action Open Course Project. The project aims at the development of elementary and intermediate courses in logic in electronic form.