I agree on the Prolog recommendations. My suggested path would be: (1) Prolog Programming for Artificial Intelligence (first half is sufficient to start) -> (2

I agree on the Prolog recommendations. My suggested path would be: (1) Prolog Programming for Artificial Intelligence (first half is sufficient to start) -> (2) The Art of Prolog -> (3) The Craft of Prolog As a first "get to know the language" I'd add: http://www.amzi.com/AdventureInProlog/a1start.php http://www.amzi.com/AdventureInProlog/a1start.php You build a basic old-school text adventure in Prolog which is more accessible than the traditionally boring introductions with family databases (imo). It's from amzi but should work with most Prologs, iirc I ran through it with GNU-Prolog (I'd recommend SWI though, it's the best open source implementation out there imo). Uses some metaprogramming that is usually not covered in introductory material (and often considered "use with care") i.e. dynamically updating code with assert/retract I have only browsed "Warren's Abstract Machine: A Tutorial Reconstruction" but it's on my to read list. Interesting for anyone that enjoys VM-design and the like.