# PROGOL

> implementation of inductive logic programming

**Wikidata**: [Q1405050](https://www.wikidata.org/wiki/Q1405050)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Progol)  
**Source**: https://4ort.xyz/entity/progol

## Summary
PROGOL (also referenced as Progol) is an implementation of inductive logic programming. It is an inductive logic programming language developed by Stephen Muggleton and described on its project page at Imperial College London (http://www.doc.ic.ac.uk/~shm/progol.html).

## Key Facts
- PROGOL is an implementation of inductive logic programming (instance_of: inductive logic programming language).
- The developer of PROGOL is Stephen Muggleton.
- PROGOL is described at http://www.doc.ic.ac.uk/~shm/progol.html.
- The Wikipedia article title for the project is "Progol".
- PROGOL has Wikipedia coverage in at least English and German (wikipedia_languages: en, de).
- PROGOL has a Freebase identifier of /m/02pll4f.
- PROGOL has a Microsoft Academic identifier (discontinued) of 2778420329.
- The entity has a sitelink count of 2 on Wikidata.

## FAQs
### Q: What is PROGOL?
A: PROGOL is an implementation of inductive logic programming, presented as a programming language in the ILP class. It implements techniques for inductive logic programming and is documented on its project page.

### Q: Who developed PROGOL?
A: PROGOL was developed by Stephen Muggleton.

### Q: Where can I find official information about PROGOL?
A: The project is described at http://www.doc.ic.ac.uk/~shm/progol.html. There is also a Wikipedia entry titled "Progol" available in English and German.

### Q: Does PROGOL have research or database identifiers?
A: Yes. PROGOL has a Freebase ID of /m/02pll4f and a Microsoft Academic ID of 2778420329 (Microsoft Academic identifier noted as discontinued).

## Why It Matters
PROGOL matters as a concrete implementation of inductive logic programming (ILP). As an ILP language, it provides a system that embodies the concepts and methods of inductive logic programming, enabling practitioners and researchers to work with an implemented ILP tool rather than only with theoretical descriptions. The existence of a dedicated project page and entries in reference resources such as Wikipedia, Freebase, and Microsoft Academic indicate that PROGOL is a documented and identifiable system within the ILP and logic programming communities. For anyone researching or applying ILP approaches, PROGOL serves as a focal point for an implemented ILP language and its associated documentation and identifiers.

## Notable For
- Being an implementation of inductive logic programming (classified as an ILP language).
- Developed and associated with researcher Stephen Muggleton.
- Having a dedicated project description page hosted at http://www.doc.ic.ac.uk/~shm/progol.html.
- Presence in reference and metadata systems: Wikipedia (en/de), Freebase (/m/02pll4f), and Microsoft Academic (ID 2778420329, discontinued).

## Body

### Overview
- PROGOL is identified as an implementation of inductive logic programming.
- It is represented in reference sources under the title "Progol".
- The project page for PROGOL is hosted at Imperial College London: http://www.doc.ic.ac.uk/~shm/progol.html.

### Classification
- Instance type: inductive logic programming language.
- Related class: inductive logic programming language — programming language.

### Developer
- Developer name: Stephen Muggleton.
- The project page URL is associated with the developer's institutional site.

### Identifiers and Links
- Wikipedia title: Progol.
- Wikipedia languages listed: English (en) and German (de).
- Freebase identifier: /m/02pll4f.
- Microsoft Academic identifier (discontinued): 2778420329.
- Described at URL: http://www.doc.ic.ac.uk/~shm/progol.html.
- Wikidata sitelink count: 2.

### References
- Project description: http://www.doc.ic.ac.uk/~shm/progol.html
- Metadata: Wikipedia entries (en, de); Freebase ID /m/02pll4f; Microsoft Academic ID 2778420329.