Differences Between miniKanren and Prolog

Re:Differences Between miniKanren and Prolog by usgroup on Tuesday January 23, 2024 @11:43AM (#39105800)

I'd start by learning Prolog. It is a border-line mystical experience. It took me a lot longer to understand Prolog and become effective in it than anything else I've learned, but nothing else has changed my perspective about problem solving more.

Check out "Simply Logic" -- free ebook. It'll give you an intro into first order predicate logic and Prolog simultaneously.

I'd suggest solving AoC2023 puzzles in Prolog. It'll give you a decent coverage of the language and some of its advanced features.

[ Parent | on HN ]

Re:Differences Between miniKanren and Prolog by will_byrd on Tuesday January 23, 2024 @12:38PM (#39106671)

I second the recommendation for 'Simply Logical'!

[ Parent | on HN ]

Re:Differences Between miniKanren and Prolog by nisa on Tuesday January 23, 2024 @12:07PM (#39106160)

Wow. Thank you. This is enough work for the next few months or years? I'll try to go that way.

[ Parent | on HN ]

Re:Differences Between miniKanren and Prolog by Abekkus on Tuesday January 23, 2024 @11:49AM (#39105879)

https://github.com/simply-logical/simply-logical

[ Parent | on HN ]