Home

Progol

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.

By Ehud Lamm at 2004-06-27 12:25 | Logic/Declarative | other blogs | 10625 reads

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.

By Noel at Mon, 2004-06-28 15:31 | login or register to post comments