Learning Resources: Implementing Prolog

[jgarte]

Hi,

Would you recommend this book as a good starting point for understanding how to implement Prolog?

The Implementation of Prolog (Princeton Series in Computer Science) by Patrice Boizumault

[infradig]

Yes, it's a good book. The code examples it gives are in Lisp not C, but the discussions are good and illustrative. Not so relevant to Trealla which is more a traditional interpreter than a WAM-type compiler.

…

On Thu, Jan 2, 2025 at 4:04 AM Jorge Gomez ***@***.***> wrote: Hi, Would you recommend this book as a good starting point for understanding how to implement Prolog? The Implementation of Prolog (Princeton Series in Computer Science) by Patrice Boizumault — Reply to this email directly, view it on GitHub <#652>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AFNKSETXFFXYBSXPUNHD5XL2IQU4NAVCNFSM6AAAAABUO3DM5OVHI2DSMVQWIX3LMV43ERDJONRXK43TNFXW4OZXG43DQNRSGE> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[jgarte]

Thanks for the information.

I'm fluent in Common Lisp so that won't be an issue for me. I've worked on various Common Lisp projects.

What resources or books would you recommend for understanding the implementation of Trealla besides just reading the source code and trying to understand it with a reading and debugging the source code approach?

I feel like I need to gain some more context before the Trealla source code starts to make sense to me.

I am interested though in approaching the understanding required to do so.

[infradig]

I doubt the source code would make sense to anyone 😆 as it's quite ad-hoc, though i've tried to revise, organize and simplify it over the last year or so.

…

On Thu, Jan 2, 2025 at 11:14 AM Jorge Gomez ***@***.***> wrote: Thanks for the information. I'm fluent in Common Lisp so that won't be an issue for me. I've worked on a number of Common Lisp projects. What resources or books would you recommend for understanding the implementation of Trealla besides just reading the source code and trying to understand it with that approach. I feel like I need to gain some more context before the Trealla source code starts to make sense to me. I am interested though in approaching the understanding required to do so. — Reply to this email directly, view it on GitHub <#652 (reply in thread)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AFNKSEXUI5T7J3IQPIYIBGT2ISHGXAVCNFSM6AAAAABUO3DM5OVHI2DSMVQWIX3LMV43URDJONRXK43TNFXW4Q3PNVWWK3TUHMYTCNZRGMYTIMI> . You are receiving this because you commented.Message ID: ***@***.***>

[jgarte]

I've been trying to read it when I have some free time but it is a slog to get through as an outsider to the project 🙃