Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
sampleterm([]). sampleterm(a). sampleterm(b). sampleterm('.'(E,Es)) :- % the real list constructor sampleterm(E), sampleterm(Es). sampleterm('.'(E,F,G)) :- % no list constructor sampleterm(E), sampleterm(F), sampleterm(G).