PROGOL(1)

NAME
progol - a system for machine learning and inductive logic programming

SYNOPSIS
progol [ -s prolog_stack_size ] [ -v ] [ file_root ]

DESCRIPTION
Progol is a system for machine learning and inductive logic programming. It works in interactive mode unless a filename root is specified. (The standard suffix for Progol files is .pl.)

OPTIONS

-s prolog_stack_size
    sets the maximum number of entries permitted on the Prolog stack. The default number is 1,000,000.

-v  causes progol to produce verbose messages while operating.

FILES
/usr/local/bin/progol	Executable
/usr/local/lib/progol-4.2	Library
/usr/local/man/man1/progol.1.gz	UNIX manual page
/usr/local/doc/local/progol-4.2.ps.gz	User manual

SEE ALSO
``An Introduction to Progol'' (User Manual),
Sam Roberts.

``Inverse entailment and Progol'',
Stephen Muggleton,
New Generation Computing journal, 13, pp.245-286.
ftp://ftp.comlab.ox.ac.uk/pub/Packages/ILP/Papers/InvEnt.ps.gz