算24的新的Prolog程序（穷举）
Sep 21st, 2007 作者 hugsnow
s24(X):-X=:=24. js(A,B,C):-C = A+B. js(A,B,C):-C = A-B. js(A,B,C):-C = B-A. js(A,B,C):-C = A*B. js(A,B,C):-B=/=0,C = A/B. js(A,B,C):-A=/=0,C = B/A. js(X):-select(A,X,M),select(B,M,N),select(C,N,O),member(D,O),
js(A,B,E),js(E,C,F),js(F,D,G),s24(G),write(G),nl,fail.