Playing mastermind

Source: The Art of Prolog

Program source code: mastermind.pl

:-  op(900,fy,not).
 
     mastermind(Code) :-
        cleanup, guess(Code), check(Code), announce.
 
     guess(Code) :-
	Code = [X1,X2,X3], selects(Code,[1,2,3,4]).
 
  /*  Verify the proposed guess	   */
 
     check(Guess) :-
        not inconsistent(Guess), ask(Guess).
 
     inconsistent(Guess) :-		
        query(OldGuess,Bulls,Cows), 
	not bulls_and_cows_match(OldGuess,Guess,Bulls,Cows).
 
     bulls_and_cows_match(OldGuess,Guess,Bulls,Cows) :- 
        exact_matches(OldGuess,Guess,N1),
        Bulls =:= N1,
        common_members(OldGuess,Guess,N2),
        Cows =:= N2 - Bulls.
 
     exact_matches(X,Y,N) :- 
	size_of(A,same_place(A,X,Y),N).  
 
     common_members(X,Y,N) :- 
	size_of(A,(member(A,X),member(A,Y)),N).
 
     same_place(X,[X|Xs],[X|Ys]).
     same_place(A,[X|Xs],[Y|Ys]) :- same_place(A,Xs,Ys).
 
/*   Asking a guess	*/
 
     ask(Guess) :-
	repeat,
        writeln(['How many bulls and cows in ',Guess,'?']),
        read((Bulls,Cows)),
        sensible(Bulls,Cows), !,
        assert(query(Guess,Bulls,Cows)), 
	Bulls =:= 4.
 
     sensible(Bulls,Cows) :- 
	integer(Bulls), integer(Cows), Bulls + Cows =< 4.
 
     /*    Bookkeeping     */
 
     cleanup :- abolish(query,3).
 
     announce :-
	size_of(X,query(X,A,B),N),
        writeln(['Found the answer after ',N,' queries']).
 
     size_of(X,Goal,N) :-
	findall(X,Goal,Instances), length(Instances,N).
 
	selects([X|Xs],Ys) :- 
		select(X,Ys,Ys1),selects(Xs,Ys1).
	selects([],Ys).
 
	 select(X,[X|Xs],Xs).
	 select(X,[Y|Ys],[Y|Zs]) :-
		select(X,Ys,Zs).
 
	length(Xs,N) :- length(Xs,0,N).
	length([X|Xs],Acc,N) :-
		Acc1 is Acc + 1,
		length(Xs,Acc1,N).
	length([],N,N).
 
%   Program 21.1  Playing mastermind