Lucas Polymeris

Hi. I've trying/testing this project and it would be very helpful to have a file with the models and its details, which is consistent with `book1` and `FORMSNUM.TEX`. Since some...

non-exhaustive tests

6

As explained here #80 there is a way to write tests that is not exhaustive enough. As an example, if we have a simple program like: ```Prolog add(X,Y,Z) :- Z...

go-counting: method of counting

10

Shouldn't be specified the way of counting stones? There are many different ways, and not all are always equivalent. Chinese , Japanese and Korean are the ones I've used. Maybe...