5 ms·

Nice! SAT solvers reason about propositional logic, i.e., zeroth-order logic. Next step: Reason about first-order and higher-order logic. For example, with a P

by zmonx 9y ago

Nice! SAT solvers reason about propositional logic, i.e., zeroth-order logic. Next step: Reason about first-order and higher-order logic. For example, with a Prolog engine written in Go.

firethief 9y ago
Now it's a race to claim the obvious name... ETA: too late. https://github.com/mndrix/golog https://github.com/mndrix/golog
- monocasa 9y ago
  Golorp is still available.