Closed gregr closed 8 years ago
Use groundness of arguments to determine the most informative order of evaluation. Suddenly, we can solve much harder queries.
Even harder queries still overfit. I have to try reordering things the way they are in racket-misc, which should solve that problem.
Use groundness of arguments to determine the most informative order of evaluation. Suddenly, we can solve much harder queries.
Even harder queries still overfit. I have to try reordering things the way they are in racket-misc, which should solve that problem.