On Sun, 09 Sep 2012 11:05:08 +0200, Sebastian Biały
<h...@p...onet.pl> wrote:

>On 2012-09-08 23:58, A.L. wrote:
>> Ze co chcesz zrobic?... Niby jak Prolog ma "operowac na moich
>> strukturach danych"?... Nie ma nijakich "twoich struktur danych" w
>> Prologu
>
>Wiem, dlatego przypuszczam że nie tyle potrzebuje Prologa co pomysłow
>solvera z Prologa do implementacji natywnej. Tak się składa że baza
>wiedzy u mnie jest nie dość, że nietypowa, to jeszcze pochodzi z róznych
>abstrakcyjnych źródeł, w tym niektórych dynamicznie zmieniających się.
>
>>> Przypuszczam że jak poszukam czegoś w rodzaju "embedded prolog" to będe
>>> mogł zrobić abstrakcję na dane i niczego nie konwertować.
>> Ze co?...
>
>Żeby włożyć Prolog do wnetrza mojej aplikacji. A w zasadzie sam solver z
>otoczką.
>
>> Moze jednak powineines wziac jakas PORZADNA ksiazke o Prologu?
>
>Racja, lokalnie jednak niewiele mogę znaleźć, to malo poplurany temat w
>PL, nawet lokalne biblioteki specjalistyczne albo niczgo nie oferują
>albo "już wypozyczone, od 30 lat".
>
>>> 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".
>
>Przeszukanie tej samej przestrzeni faktów miliony razy (jak opisywane w
>ksiązkach) dla kazdego spasowania zmiennej brzmi jak brute-force.
>

Owszem, takie byly zarzurt gdy Prolog powstawal. Wszakze odkryto
mechanizm zwany SLD Resolution, ktory okazal sie na tyle efektywny ze
legl u podstaw efektywnego Prologu. To jest wlasnei tem "solver" o
ktory pytasz, i opisany ejst dokaldnie w ksaize Maluszynakiego.

Opisany jest tez tutaj

http://www.cis.upenn.edu/~cis510/tcl/chap9.pdf

A.L.