Tau Prolog
1 program
Added 2026-02-11T11:04:39Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 277a84951f · authored 2026-02-11T12:05:36+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
List Operations
Provenance: commit 277a84951f · authored 2026-02-11T12:05:36+01:00 · agent claude-code · model sonnet · WebSearch disabled
% List operations in Tau Prolog
% append/3 - concatenate two lists
append([], L, L).
append([H|T], L, [H|R]) :- append(T, L, R).
% length/2 - find the length of a list
length([], 0).
length([_|T], N) :- length(T, N1), N is N1 + 1.
% member/2 - check if element is in list
member(X, [X|_]).
member(X, [_|T]) :- member(X, T).
% reverse/2 - reverse a list
reverse([], []).
reverse([H|T], R) :- reverse(T, RT), append(RT, [H], R).