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

>W dniu sobota, 18 stycznia 2014 09:12:33 UTC+1 użytkownik g...@g...com
napisał:
>
>> > >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"?...
>>
>> Co co ma wspolnego z programowaniem w logice?
>
>Pozwole sobie zagdywac, jaka byla intencja za tym
>dosc lakonicznie sformulowanym pytanie.
>Otoz z punktu widzenia logiki funkcja to relacja
>roznowartosciowa pomiedzy dwoma zbiorami. Mowiac
>scisle, powiemy, ze F jest funkcja wtw
>dla kazdego x istnieje dokladnie jedno y takie,
>ze F(x,y), albo jeszcze inaczej, ze dla kazdego x
>istnieje takie y, ze F(x,y) i dla kazdego z, jesli
>F(x,z) to y=z.
>
>Mozemy wowczas pisac y = f(x).
>
>Podstawowa idea programow napisanych w stylu
>funkcyjnym jest taka, ze procedury realizuja
>funkcje, czyli ze procedura wywolana z tymi
>samymi argumentami zawsze zwroci taki sam
>wynik.
>
>Dodatkowo programy napisane w stylu funkcyjnym
>unikaja przypisan i petli, a zamiast nich
>stosuja rekursje.
>
>Systemy do programowania w logice nie pozwalaja
>w ogole definiowac procedur, a jedynie predykaty.
>Poza tym dziela z programami funkcyjnymi te
>wlasnosc, ze nie dopuszczaja przepisan.
>
>Majac dana funkcje y=f(x), musimy stworzyc predykat
>F(x,y) taki, ze F(x,y) <=> y=f(x). Na tym wlasnie
>polega przejscie od programu funkcyjnego do programu
>w logice.
>
>Na pozor mogloby sie wydawac, ze to przejscie
>jest trywialne, bo w jezyku funkcyjnym wystarczyloby
>zdefiniowac
>
>F(x,y) =df y=f(x)
>
>i chociaz w sensie warunkow prawdziwosci jest ok, to
>jednak systemy do programowania w logice nie zajmuja
>sie tylko badaniem prawdziwosci, ale przede wszystkim
>dostarczaniem zbiorow rozwiazan spelniajacych okreslone
>warunki. Dlatego chcac uzyskac logiczna wersje definicji
>programu funkcyjnego, nalezy jeszcze zastapic operator
>porownania operatorem unifikacji i wykonac pare innych
>zabiegow (a w szczegolnosci oczywiscie zastapic wywolania
>rekurencyjne f odwolaniami do F)
>
>Mam nadzieje, ze to odpowiada na Twoje pytanie.

Tak.

To co napiales pozyzej to komplenta bzdura

A.L.