Bardzo ladne wystapienie Daniela Friedmana
i Williama Byrda wprowadzajace w system do
programowania w logice "kanren" dla Scheme'u.
Polecam obejrzenie przynajmniej pierwszych
20 minut, bo to, co sie dzieje w 20-tej minucie,
robi wielkie wrazenie :]

http://www.youtube.com/watch?v=fHK-uS-Iedc

Mowiac w skrocie: autorzy najpierw pokazuja,
w jaki sposob mozna przepisac program napisany
w stylu funkcyjnym na "program w logice"
(poprzez dopisanie dodatkowego argumentu,
majacego reprezentowac wynik), przy okazji
zwracajac uwage na pewne niuanse.

Nastepnie biora kod zrodlowy ewaluatora
metacyklicznego i przerabiaja go w taki
sposob.

A na koniec... niespodzianka :)