On Sun, 09 Sep 2012 23:59:58 +0200, n...@m...invalid wrote:

>W dniu 8.09.2012 r. 21:41, Sebastian Biały pisze:
>> Nadszedł ten moment kiedy czas na Prolog...
>>
>> Ze względow praktycznych nie mogę tego zrobić za pomocą języka wprost.
>> Konkretnie nie mogę mojej bazy wiedzy skonwertować do postaci prologowej
>> bo zajmie to za duzo czasu (a i parsowanie potrwa wieki). Wolałbym zeby
>> móc operować na moich strukturach danych bezposrednio.
>>
>> Przypuszczam że jak poszukam czegoś w rodzaju "embedded prolog" to będe
>> mogł zrobić abstrakcję na dane i niczego nie konwertować.
>>
>> Jednak zanim to zrobie nurtuje mnie mały problem: nawracanie.
>>
>> Jak czytam dowolną ksiązkę o Prologu i autor dochodzi do problemu
>> nawracania to ani słowem nie wspomina że to powoduje coś na kształt
>> ekplozji kobinatorycznej. Konkretnie pewne dane są wyszukiwane w sposób
>> naiwny, czymś w rodzaju brute-force wielokronie przeczesując tą samą
>> przestrzeń faktów. Cieżko mi uwierzyć że tak wyglądają implementacje
>> Prologa jak opisywany jest algorytm.
>>
>> Głupi pomysł: zrobmy wyszukiwanie w mojej bazie typu Prolog-like. Język
>> i składnie pomińmy, chodzi o koncepcje zmiennych, ukonkretniania,
>> nawracania itp. Gdzie mogę poczytać o *algorytmach* rozwiązywania
>> zapytań w Prologu? Nie wierzę, że jest aż tak prymitywny jak opisywane w
>> książkach metody brute-force.
>>
>> Oczywiście wiem co wypluwa google na hasło "prolog solver" ale może ktoś
>> zna jakiś ciekawy tekst, może być "popularnonaukowy" opisujacy co i jak
>> w sposób mozliwe ogólny pozwalający zorientowac się w temacie.
>Poczytaj o propagacjach i dystrybucjach w Oz. Także por. search
>strategies Mozart/Oz:
><http://www.mozart-oz.org/documentation/tutorial/no
de12.html#chapter.lp>, p.
>12.7
>--HTH

A ty pzreczytales? Bo to akurat ma malo wspolnego z oryginalnym
pytaniem...

A.L.