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.

> 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

Super. Przejrze wskazane źródła.