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 ↑

Progol(ID:5487/pro021)

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