Mini sudoku solver in Prolog stops partway through
问题 I'm working through 'Seven Languages in Seven Weeks', and I'm just trying to get an example from the book working. It solves a mini sudoku grid (4x4). The author is using gprolog, but I am using swi-prolog (I couldn't get gprolog to work on my VM for whatever reason, but swi-prolog worked first try). I am running Ubuntu 10.04 in VirtualBox 4.0.4 r70112 (hopefully that's not too relevant!) Here is the code in my prolog file: :- use_module(library(clpfd)). valid([]). valid([Head|Tail]) :- all