The F#.NET Journal just published an article about logic programming:
"Satisfiability solvers or SAT solvers are programs than solve logical problems. A boolean SAT solver is one than solves the problem of finding sets of variable bindings for which a given boolean expression evaluates to true..."
To read this article and more, subscribe to The F#.NET Journal today!
Qi, Lisp and O'Caml compared - performance shootout - An old article by Mark Tarver reproduced here for historical interest: This test was conducted to determine the relative efficiency and code size of hand-c...
1 month ago