LISP
Rekursiivisiin funktiomäärittelyihin perustuva omalaatuinen ohjelmointikieli (John McCarthy 1958).
Yleensä tulkattu, vaikka kääntäjiäkin on.
Edelleen tekoälyohjelmoinnin ykköskieliä. Myös esim. Emacs-editori on kirjoitettu LISPillä, ja jopa sisältää LISP-tulkin.
Eukleideen algoritmin rekursiivinen versio:
Olkoot luvut m ja n.
1. Jos n = 0, niin tulos on syt(m,n) = m.
2. Jos n ¹ 0, niin syt(m,n) = syt(n, m mod n).
Vastaava LISP-ohjelma:
(defun gcd (m n)
(cond
((equal n 0) m)
(t (gcd n (mod m n)))))
Suoritus:
(gcd 12 16)
4
(gcd 123 456)
3