prolog stuff
rmed useless scripts
more hanoi (prolog)
Merge branch 'master' of https://github.com/dohmatob/calculability