non chronological backtrack and clause learning: seems to be working but only slow down the search
non chronological backtrack and clause learning: seems to be working but only slow down the search

regb/scabolic,RomanHargrave/scabolic