W dniu 2012-09-09 00:00, A.L. pisze:
> On Sat, 08 Sep 2012 23:19:28 +0200, Piotr Chamera
> <p...@p...onet.pl> wrote:
>
>> W dniu 2012-09-08 21:41, Sebastian Biały pisze:
>>> Nadszedł ten moment kiedy czas na Prolog...
>> ...
>>> 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.
>>
>> Może tutaj coś będzie na temat -> http://www.pwlzo.pl/
>
> Nie, nei bedzie bo ta ksiazka (znakomita zreszta) jest na temat
> paradygmatu programowania zwanego "constraint logic programming over
> finite domains" (w skrocie CLP(FD)) i z Prologiem ma tyle wspolnego ze
> Autor opisuje system CLP(FD) zaimplementowany w Prologu. Nie ma nic
> tam o Prologu i jego mechanizmach w sensei ogolnym

Poleciłem tę książkę, bo dla mnie, jako laika w tej dziedzinie, była
bardzo pomocna w zorientowaniu się w jakich problemach można stosować
Prolog i jego następców oraz jak to wszystko (ogólnie) działa.
Myślę, że dla OP też mogłaby być pomocna.

(będę się odnosił do polskiej wersji książki)
Jest rozdział 2 pod tytułem ,,Na początku był Prolog", gdzie ok str. 50
jest wyjaśnione jak działa przeszukiwanie z nawrotami i czym się różni
od przeszukiwania całego drzewa (o co OP pytał).

Poza tym książka daje dobry przegląd tego jakie zadania są
rozwiązywalne w Prologu i CLP i jak to w ogóle działa (na wielu
przykładach), co może pomóc OP dokładniej sprecyzować czego potrzebuje
do rozwiązania swojego problemu i dobrać odpowiednią metodę, bo z
pytania wynika, że raczej nie chodzi koniecznie o Prolog, a bardziej o
zbadanie możliwości zastosowania ,,programowania w logice" do jakiegoś
konkretnego problemu.