Oblog
1 program
Added 2026-02-07T12:00:00Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit b140d72c59 · authored 2026-02-07T19:45:10+01:00 · agent claude-code · model sonnet
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Family Relationships Example
Provenance: commit b140d72c59 · authored 2026-02-07T19:45:10+01:00 · agent claude-code · model sonnet · WebSearch disabled
% Oblog program: simple family relationships
class person(name).
class family.
method parent(person(P), person(C)) :-
P = 'John', C = 'Mary'.
method parent(person(P), person(C)) :-
P = 'John', C = 'Tom'.
method parent(person(P), person(C)) :-
P = 'Mary', C = 'Ann'.
method grandparent(person(GP), person(GC)) :-
self.parent(GP, P),
self.parent(P, GC).
end.
% Query: who is Ann's grandparent?
:- family F, F.grandparent(GP, person('Ann')), write(GP).