More Documentation or Examples

[rebelwarrior]

This looks fantastic btw. Just what I was looking for to learn logic programming.

[rebelwarrior]

For example I'm trying to solve this exercism problem using logic programming to learn how it works.
https://exercism.io/tracks/julia/exercises/pythagorean-triplet/solutions

[ztangent]

Thanks for the interest! Looking at the problem you're hoping to solve, I suspect that you'll actually need support for integer arithmetic / clpfd (constraint logic programming over finite domains) in order to find a solution efficiently. Standard implementations of Prolog support this, but unfortunately not Julog!

[rebelwarrior]

On no! 😢 Thanks for letting me know!

…

Sent from my mobile

On Feb 27, 2021, at 1:49 PM, ztangent ***@***.***> wrote:  Thanks for the interest! Looking at the problem you're hoping to solve, I suspect that you'll actually need support for integer arithmetic / clpfd (constraint logic programming over finite domains) in order to find a solution efficiently. Standard implementations of Prolog support this, but unfortunately not Julog! — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or unsubscribe.