learnlearn.uk / A Level Computer Science Home ยป Declarative Programming
Prolog tutorial
http://www.learnprolognow.org/
https://en.wikipedia.org/wiki/Prolog