Progol isn't really a programming language, it's an Inductive Logic Programming system designed as an extension of Prolog.

A user manual and a technical paper are available.

Reading the paper requires some knowledge of machine learning. The user manual cum tutorial is much more accessible.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

New Progol releases, and related work

It is worth noting that Progol's main developer is now at Imperial, so I guess the latest and greatest software can be found there.

I'm digging Simon Colton's work on HR, which is related to Progol.