[ prog / sol / mona ]

prog


How to learn prolog ?

1 2023-09-05 16:40

Hi, i'm trying to learn prolog and wanted to know what would a could path.

Currently, i'm thinking:
1. "Learn prolog now" and/or "Adventure in Prolog" (amzi)
2. "Programming in Prolog" (Clocksin Mellish) and/or "Expert systems in Prolog" (amzi)
3. "Simply Logical"
4. "The power of prolog" and/or "Logic for problem solving, Revisited" (Kowalski)
5. "WAM, a tutorial reconstruction" and/or "The craft of prolog"

"Learn prolog now" and "adventure in prolog" seem to target beginners,
but "Programming in Prolog" is a classic, and i fear a big overlap.
"The power of prolog" is using a recent implementation (scryer) and teach more than the syntax,
but also use-cases, predicates calculus, ... I also quite like the hybrid video/text format.

5. is mainly to understand prolog under the hood, maybe to implement one myself later.

What do you think ? Is there some books that become irrelevant if i read another before ?
How would you prune this list, or is it good like that ?

9


VIP:

do not edit these