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!
What languages did you learn, in what order? - I once compiled the following list of programming languages and which year I started learning them: - 1981: Sinclair BASIC (on a ZX81) - 1983: BBC BA...
3 weeks ago