jojo1
I've been working a long time in the "security industry". Believe me, it has reasons why I call products like WAFs snake oil...
Several potential security problems have been identified and fixed."
...nice euphemism.
http://ccan.ozlabs.org/info/talloc.html talloc is LGPL v2
rw@raccoon:~> du -h messages
19M messages
rw@raccoon:~> time grep -e "foobar" < messages
real 0m0.030s
user 0m0.022s
sys 0m0.008s
rw@raccoon:~> time pru /foobar/ < messages
real 0m0.796s
user 0m0.722s
sys 0m0.071s
:- use module(library(clpfd)). sudoku(Rs) :- flatten(Rs,Vs), Vs ins 1 .. 9, rows(Rs), columns(Rs), blocks(Rs), label(Vs), maplist(writeln,Rs).
rows(Rs) :- maplist(all distinct,Rs).
columns(Rs) :- columns(9,Rs). columns(0,Rs). columns(N,Rs) :- N > 0, N1 is N-1, maplist(nth0(N1),Rs,X), all distinct(X), columns(N1,Rs).
blocks([A,B,C,D,E,F,G,H,I]) :- blocks(A,B,C), blocks(D,E,F), blocks(G,H,I). blocks([],[],[]). blocks([A,B,C|Bs1],[D,E,F|Bs2],[G,H,I|Bs3]) :- all distinct([A,B,C,D,E,F,G,H,I]), blocks(Bs1,Bs2,Bs3).