Viewing profile — logicmoo

Holy S*it.. How many years has this been considered missing?

> Thinking in Prolog is much easier than knowing how to solve a problem beforehand. In Prolog you just state > the facts and known rules, but you have no clear idea what would be t…

-------- > Thinking in Prolog is much easier than knowing how to solve a problem beforehand. In Prolog you just state the facts and known rules, but you have no clear idea what wou…

> I think it’s biggest headwind is that you have to be significantly more intelligent than the average developer to think in Prolog. This is very true!

If your aim is to develop an SAT solver, it is recommended to write it in Prolog. For more general problem-solving, consider writing an SMT solver or another specialized solver (su…