On Sat, 08 Sep 2012 21:41:05 +0200, Sebastian Bia?y
<h...@p...onet.pl> wrote:

>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.
>

Ze co chcesz zrobic?... Niby jak Prolog ma "operowac na moich
strukturach danych"?... Nie ma nijakich "twoich struktur danych" w
Prologu

>Przypuszczam że jak poszukam czegoś w rodzaju "embedded prolog" to będe
>mogł zrobić abstrakcję na dane i niczego nie konwertować.
>

Ze co?...

>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.
>

Moze jednak powineines wziac jakas PORZADNA ksiazke o Prologu?

>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.
>

To nie jest zadna metoda "brute force".

Jak chcesz wiedziec jak Prolog dziala "od srodka"... Praktycznie
wszystkie Prologi dzialaja w oparciu o WAM - Warren Abstract Machine.
Ksiazka na temat WAM jest tutaj

http://www.cvc.uab.es/shared/teach/a25002/wambook.pd
f


>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.

Mzoe powinienes poczyatc to:

http://homepages.inf.ed.ac.uk/pbrna/prologbook/

A moze najpierw to:

http://www.amzi.com/AdventureInProlog/


A jak chcesz wiedziec DOKLADNIE jak "prolog engine" dziala, wez ta
ksiazke

http://www.ida.liu.se/~ulfni/lpp/

W zasadzie rownie postawowa dla uzywajacych Prolog jak ksiazka o
arytmetycze dla robiacych oblicznia numeryczne...

A.L.