Skąd się wzięły wyjątki?

Zdecydowana większość współczesnych języków programowania posiada wbudowaną obsługę wyjątków. Związana z nią składnia zazwyczaj jest we wszystkich tych językach dosyć podobna – wyjątki rzuca się (throw) lub podnosi (raise), a następnie łapie (catch), jeśli wystąpiły wewnątrz blokutry. Istotną sprawą jest tu możliwość przekazywania kontroli sterowania nie tylko o jeden poziom wyżej – wyjątki propagowane są w […]

Read More

Podsumowanie prologowego wyzwania

Jak zapowiadałem pod koniec października, moim celem na listopad była nauka języka programowania Prolog. Czytałem książki i opracowania, pisałem kod, szukałem realnych zastosowań tej technologii. Czas nie pozwolił mi na zgłębienie w ciągu miesiąca tyle wiedzy, ile bym pragnął, jak również nie udało mi się opublikować wszystkich wpisów w zamierzonym okresie. Naocznym rezultatem mojego wyzwania […]

Read More

Relacje przechodnie w Prologu

W jednym z wcześniejszych wpisów poruszałem temat definiowania relacji symetrycznych w języku Prolog. Rozwiązaniem problemu okazało się tam zdefiniowanie relacji pomocniczej, dzięki której pozbywaliśmy się nieskończonej pętli wywołań. Podobnie jest i w tym przypadku, bowiem i tu definiowanie takiej relacji w sposób „naiwny” i „naturalny” nie zdaje egzaminu. Rozważmy taki oto przykład, w którym szeregujemy kraje […]

Read More

Realne zastosowania języka Prolog

Trudno nie zgodzić się z opinią, że Prolog jest językiem pod wieloma względami ciekawym. Chociażby dlatego, iż reprezentuje on paradygmat programowania logicznego, który zdecydowanie nie należy do najczęściej używanych. Sądzę, że owa odmienność od tego, z czym mamy styczność na co dzień jest jednym z powodów, dla których warto poznać pewne podstawy Prologa. Zyskujemy w […]

Read More

Relacje symetryczne w Prologu

Jeśli potrzebujemy zdefiniować jakąś relację (dajmy na to małżeństwo) jako symetryczną, to posługując się językiem logiki matematycznej możemy ją zapisać mniej więcej tak: Przekładając to na zapis charakterystyczny dla Prologu i dokładając jeszcze kilka faktów dotyczących znanych nam małżeństw uzyskamy: married(X, Y) :- married(Y, X). married(adam, ewa). married(andrzej, aleksandra). married(tadeusz, zofia). Jest to kod syntaktycznie […]

Read More