🚀 go-pugleaf

To znowu ja. Wlasnie zauwazylem, ze nie zrozumialem do konca tego przykladu z poprzednimi i 
nastepnymi latami  (poprzedni i nastepny rok nie sa oczywiscie liczbami ale jakos zapisanymi datami 
ale tak to jest jak jezyk nie ma typow ;) ). Moja argumentacja z "typami" jest wiec do bani. 

Nalezy to raczej argumentowac w ten sposob, ze predykat get_year bedzie pobieral rok z daty, ktora 
jest nieukonkretniona zmienna a wtedy taki rok tez powinien byc nieukonkretniona zmienna i jako 
taki nie moze wystapic w wyrazniu arytmetycznym w predykacie is.

Nie wiem jak wygladaja predykaty get_year i set_year. Moze jakos tak:

<code>
get_year(data(_, _, Rok), Rok).
set_year(Rok, data(Dzien, Miesiac, _), data(Dzien, Miesiac, Rok)).
</code>

Przy powyzszych definicjach gdy zapytamy sie nastepujaco:

?- next_year(data(5, 1, 2006), X).

X = data(5, 1, 2007) 

to otrzymamy poprawna date od dzis za rok.

Ale gdy sprobujemy wyliczyc date od dzis w tyl o rok:

?- next_year(X, data(5, 1, 2006)).
ERROR: Arguments are not sufficiently instantiated
^  Exception: (8) _L326 is _G240+1 ?

to program "wysypie" sie na predykacie is, gdyz zmienna nieukonkretniona X wyraza 
nieukonkretniona date (dowolna) tak wiec i pobrany rok jest dowolny (nieukonkretniona zmienna 
_G240) a co za tym idzie nie da sie policzyc wartosci wyrazenia, w ktorym jeden ze skladnikow sumy 
jest nieukonkretniony.

Mam nadzieje, ze tym razem nie popelnilem za wielu bledow w argumentacji :)

Pozdrawiam,
Adam Miauczynski


-- 
Wysłano z serwisu Usenet w portalu Gazeta.pl -> http://www.gazeta.pl/usenet/