rust-prolog

rust-prolog copied to clipboard

Currently `[H|T]` is sugar for `cons(H,T)`, but this syntax should be more general and allow this form: ``` [H1, H2, ..., Hn | T] ``` Which translates to: ``` cons(H1,...

dagit

dagit

dagit

The current implementation of search makes unnecessary copies. Can these be converted to moves? What other optimizations are possible? Find a way to benchmark the before and after effects.

dagit

This is a place holder to remind me to learn how to write tests.

dagit