This will allow relational programming with lists Depends on #2 It makes use of _===_, _fresh_ and _conde_ Is this possible without macros?
This will allow relational programming with lists
Depends on #2
It makes use of ===, fresh and conde
Is this possible without macros?