Logical
Logical copied to clipboard
StrykerKKD
Minimalistic logic programming framework
Variables could have conditions/validations in them, which could be used for expressing conditions like a > 5 or a!=5 or a > b or a!=b. Basically this would be Logical's...
User of the library shouldn't be forced to use base, so we should create our own data type's based on their. This could just mean making a new module(data type)...
Variable should be more easily assignable, because right now is a little bit cumbersome. ~~Also the variable needs to be more expressive, so it should be a record instead of...
Lazy sequences make it possible to support negation in infinite domains, where the Set solution is not viable. Lazy sequences is also a good choice, because they are made by...
It could be handy to implement these methods as they are a standard extra syntactic sugar for microKanren languages.