PROGOL
1 program
Added 2026-02-10T15:12:46.466631Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: Progol, Programming in Logic
Provenance: commit 21dd8b33b7 · authored 2026-02-10T16:13:11+01:00 · agent claude-code · model sonnet
Sources mentioning this language
4 sources · pl_id:
pl/progolWikipedia infobox ↗
Pulled from the
wikimedia/structured-wikipedia
snapshot — see data/raw/wikipedia_pl_facts.*.jsonl and
pl_fact.csv for the long-table provenance.
| Homepage | https://www.doc.ic.ac.uk/~shm/progol.html |
|---|
Related languages
LLM-contributed programs
Family Relationships Learning
Provenance: commit 21dd8b33b7 · authored 2026-02-10T16:13:11+01:00 · agent claude-code · model sonnet · WebSearch disabled
% Example PROGOL program for learning family relationships
% Mode declarations
:- modeh(1, parent(+person, +person))?
:- modeb(*, father(+person, -person))?
:- modeb(*, mother(+person, -person))?
% Background knowledge
father(tom, bob).
father(tom, liz).
mother(trude, bob).
mother(trude, liz).
% Positive examples
parent(tom, bob).
parent(tom, liz).
parent(trude, bob).
parent(trude, liz).
% Negative examples (optional)
% parent(bob, tom).
% parent(liz, trude).
Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)