It’s only logical. - Spock
Logical is a minimalistic logic programming, which is
- Simple implementation with only a few building blocks
- Easy to understand and use
- Supports negation free constraint logic programming by using Sets
It has a pretty decent readme, so if you are interested you should visit the repository.
The only future improvement, I’m thinking about now is also supporting (lazy) sequences in Logical, so negation free constraint system has a workable solution for infinit domains with a custom search strategy thanks to sequence generation.
I created this package mainly, because I couldn’t find any published microkanren based package, evethough there are some unpublished implementations. The other reason was that I want to experiment with how well can logic programming be used for business logic implementation.
It was my first time using Esy for a personal project and it was really easy to work with. I can only recommend it for others, because it makes the barrier to entry for others really low.
Links in readable form: