H ? « »

Language peer sets for Progol:
United Kingdom
United Kingdom/1993
Designed 1993
1990s languages
Fifth generation
Post-Cold War
Experimental and other
Experimental and other/1993
Experimental and other/uk


alternate simple view
Country: United Kingdom
Designed 1993
Sammet category: Experimental and other

Superset of Prolog that provides rapid definition of classes and attributes. It includes extensions for inductive logic (mode-directed inverse entailment). Inductive logic often uses a schema of classes, instances and attribute values to define a rule base.

Stephen Muggleton, Oxford

Related languages
Prolog Progol   Extension of
Progol cProgol   Implementation
Progol Indlog   Implementation
Progol P-Progol   Implementation

  • Muggleton, S. (1995) Muggleton, S. "Inverse Entailment and Progol" New Generation Computing 13(3 and 4) 1995 pp245-286. Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder