-
- Downloads
Complete rewrite of Grounder.
The new grounder closely follows the procedure in the extended arXiv version of the IJCAI-17 paper, except that names for quantifiers in the query are pre-allocated. Consistency guarantees are not yet considered, which also causes some guarantee-related unit tests to fail. This is awkward since the grounder knowing about consistency should only affect performance, not semantics. Also dropped the convention that non-const getters return a pointer: it's too annoying. For out- or in/out-parameters the pointer convention remains.
Showing
- examples/tui/battleship.h 2 additions, 2 deletionsexamples/tui/battleship.h
- examples/tui/example-battleship-4x4.limbo 0 additions, 197 deletionsexamples/tui/example-battleship-4x4.limbo
- examples/tui/sudoku.h 1 addition, 1 deletionexamples/tui/sudoku.h
- examples/tui/test-qbf-1.limbo 63 additions, 59 deletionsexamples/tui/test-qbf-1.limbo
- examples/tui/test-qbf-10.limbo 75 additions, 75 deletionsexamples/tui/test-qbf-10.limbo
- examples/tui/test-qbf-11.limbo 63 additions, 59 deletionsexamples/tui/test-qbf-11.limbo
- examples/tui/test-qbf-12.limbo 75 additions, 75 deletionsexamples/tui/test-qbf-12.limbo
- examples/tui/test-qbf-13.limbo 75 additions, 75 deletionsexamples/tui/test-qbf-13.limbo
- examples/tui/test-qbf-14.limbo 15 additions, 15 deletionsexamples/tui/test-qbf-14.limbo
- examples/tui/test-qbf-15.limbo 11 additions, 11 deletionsexamples/tui/test-qbf-15.limbo
- examples/tui/test-qbf-16.limbo 29 additions, 29 deletionsexamples/tui/test-qbf-16.limbo
- examples/tui/test-qbf-17.limbo 19 additions, 18 deletionsexamples/tui/test-qbf-17.limbo
- examples/tui/test-qbf-2.limbo 63 additions, 59 deletionsexamples/tui/test-qbf-2.limbo
- examples/tui/test-qbf-3.limbo 63 additions, 59 deletionsexamples/tui/test-qbf-3.limbo
- examples/tui/test-qbf-4.limbo 31 additions, 28 deletionsexamples/tui/test-qbf-4.limbo
- examples/tui/test-qbf-5.limbo 47 additions, 41 deletionsexamples/tui/test-qbf-5.limbo
- examples/tui/test-qbf-6.limbo 75 additions, 75 deletionsexamples/tui/test-qbf-6.limbo
- examples/tui/test-qbf-7.limbo 75 additions, 75 deletionsexamples/tui/test-qbf-7.limbo
- examples/tui/test-qbf-8.limbo 63 additions, 59 deletionsexamples/tui/test-qbf-8.limbo
- examples/tui/test-qbf-9.limbo 75 additions, 75 deletionsexamples/tui/test-qbf-9.limbo
Loading
Please register or sign in to comment