HiTalk
1 program
Added 2026-02-27T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: enabled
Evidence
Report issue
View issues
Aliases: hiTalk, HiLog+Logtalk
Provenance: commit b529848981 · authored 2026-02-27T12:38:56+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Enumeration Type Hierarchy
Provenance: commit b529848981 · authored 2026-02-27T12:38:56+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch enabled
% if element type is enum `hierarchy` mode
% else `linear` mode
:- op(1150, fy, enumeration).
:- enum( type, _Elements_ ).
:- public
hitalk_type,% :- true by default
prolog_type,% :- true by default
user_type. % :- true by default
:- end_enum.
% generates by fact that enum has enum elements
:- enum(hitalk_type, _).
:- public
object, % :- true by default
category, % :- true by default
protocol, % :- true by default
enum,
module,
event.
:- end_enum.