On Sun, 09 Sep 2012 01:08:28 +0200, Piotr Chamera
<p...@p...onet.pl> wrote:

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

Moze i byc pomocna. Ale jak pisalem, ksiazka jest przede wszystkim o
konkretnym paradygmacie a nei o ogolnym programwoaniu w Prologu czy w
ogole logic programming.

O "ogolnym" polecam ksiazki Bratko "Prolog Programming for Artificial
Intelligence" czy ksiazke "PROLOG by Example: How to Learn, Teach, and
Use It", Helder Coelho

Ksiazka Niederlinskeigo jest "sfokusowana" na dosyc waski wycinek
logic programming

A.L.