mirror of
https://github.com/MartinThoma/LaTeX-examples.git
synced 2025-04-26 06:48:04 +02:00
2 lines
No EOL
54 B
Prolog
2 lines
No EOL
54 B
Prolog
istree(nil).
|
|
istree(t(_,L,R)) :- istree(L), istree(R). |