Robert J. Simmons
Robert J. Simmons
Multiple possibilities here: ``` div 7 4 is 2 mod 7 4 is 3 ``` or ``` divmod 7 4 is [2, 3] ``` Relatedly, allowing multiplication to be run...
Sequences as an internal datatype are desirable. As a first step, they can be incorporated with the `SEQUENCE` builtin: ``` #builtin SEQUENCE seq a X :- seq 1 3 "hello"...
This is something that GraphiQL really usefully supports - if we'd like to help people use JSON EDBs through the Dusa API, we want to allow them to put in...
Minus acts like it can be run backwards, but it cannot. ``` y 4. x N :- y M, minus N 1 is M. ``` this should result in `x...
This is a medium-small refactor: repeated uses of the Dusa API will cause memory leaks, because the same hash-consing table is used accross multiple instances of Dusa objects. Based on...
I need to better understand how this relates to the "demand" or "magic sets" transformation, but I really think the right move for Dusa is to declare certain predicates to...
If we have two rules ``` a :- c X, c Y, c Z, d X Y Z. b :- c X, c Y, c Z, e Y X Z....
Right now if we have two rules: ``` a X Z Z :- c X Z. a X Y Z :- b X, b Y, c X Z. a X...
It's pretty clear what we want to have happen here: ``` H1, H2, H3 :- P1, P2, P3. ``` should have the same meaning as ``` H1 :- P1, P2,...