On Sat, 18 Jan 2014 00:12:33 -0800 (PST), g...@g...com
wrote:

>W dniu sobota, 18 stycznia 2014 03:35:48 UTC+1 użytkownik A. L. napisał:
>> On Fri, 17 Jan 2014 15:01:54 -0800 (PST), g...@g...com
>> wrote:
>>
>>
>> >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),
>>
>>
>> A co to ma wspolnego z "programwoaniem w logice"?...To, cytuje:

>w jaki sposob mozna przepisac program napisany
> >w stylu funkcyjnym na "program w logice"
> >(poprzez dopisanie dodatkowego argumentu,
> >majacego reprezentowac wynik),

Chodzi o to w jaki sposob "dopisanie argumentu" nagle powoduje ze mamy
"program w logice"

A.L.