Progol

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf Inductive logic programming system
gptkbp:citation Muggleton, S. (1995). Inverse entailment and Progol. New Generation Computing, 13(3-4), 245-286.
gptkbp:developer gptkb:Stephen_Muggleton
https://www.w3.org/2000/01/rdf-schema#label Progol
gptkbp:influenced gptkb:Aleph
gptkb:TILDE
gptkbp:license gptkb:software
gptkbp:notableFeature inverse entailment
mode declarations
search for optimal hypotheses
support for background knowledge
gptkbp:programmingLanguage gptkb:Prolog
gptkbp:releaseYear 1995
gptkbp:usedFor gptkb:machine_learning
inductive logic programming
gptkbp:website http://www.doc.ic.ac.uk/~shm/progol.html
gptkbp:bfsParent gptkb:Stephen_Muggleton
gptkbp:bfsLayer 5