Re: Prolog i hierarchiczna baza faktów - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › Prolog i hierarchiczna baza faktów › Re: Prolog i hierarchiczna baza faktów

Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
atman.pl!goblin2!goblin.stu.neva.ru!feeder.erje.net!us.feeder.erje.net!news.glo
rb.com!peer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwind
s-media.com!post01.iad.highwinds-media.com!fx31.iad.POSTED!not-for-mail
From: A.L. <a...@a...com>
Newsgroups: pl.comp.programming
Subject: Re: Prolog i hierarchiczna baza faktów
Message-ID: <c...@4...com>
References: <lllk9q$lfi$1@node1.news.atman.pl>
<s...@4...com>
<lln6sl$mqi$1@node2.news.atman.pl>
<j...@4...com>
<llpj2h$136$1@node2.news.atman.pl> <llq4uq$2e8$1@srv.chmurka.net>
<llq67d$ksu$1@node2.news.atman.pl>
<p...@4...com>
<llr3ph$j0m$1@node2.news.atman.pl> <llrf6l$hhj$1@srv.chmurka.net>
User-Agent: ForteAgent/7.00.32.1200
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: 8bit
Lines: 31
X-Complaints-To: a...@e...com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will
be unable to process your complaint properly.
Date: Sat, 24 May 2014 21:27:51 -0500
X-Received-Bytes: 2162
X-Received-Body-CRC: 1739961959
Xref: news-archive.icm.edu.pl pl.comp.programming:205828
[ ukryj nagłówki ]
On Sun, 25 May 2014 01:58:13 +0100, Andrzej Jarzabek
<a...@g...com> wrote:

>On 24/05/2014 22:43, Sebastian Biały wrote:
>> On 2014-05-24 19:09, A.L. wrote:
>>>> prologa. Innymi slowy zapytanie Prologowe jest moim zapytaniem które
>>>> chcę używać.
>>> jakiego rodzaju to sa zapytania (przykaldy).
>>
>> "Kto mieszka na ulicy X i ma blond włosy".
>
>Do takich zapytań świetnie nadaje się SQL.

Owszem, ale nie wszystko da sie zalatwic przy pomocy SQL. SQL nei
zlatwia "reachability problem" - na przykald mamy graf polaczen
lotniczych miedzy miastami. SQL nei poradzi sobie z zapytaniem: Czy
istnieje polaczenie miedzy miastami A i B?"

Przez "polaczenie" rozumiemy tu nei tylko polaczenie bezposrednie, a
polaczenie z dowolna iloscia stopow posrednich. To wymaga policzenia
"transitive closure" grafu, a to jest ponad sily SQL (z grubsza).
Wlasciwiie nei tyle SQL, co algebry relacyjnej

Prolog poradzi sobie znakomicie

A.L.

P.S. Gdyby ktos nei byl pzrekonany:

http://wwwis.win.tue.nl/~tcalders/teaching/advancedD
B09/notes/lecture02.pdf