logicmoo

19 ms·

1. 1.▲
   by logicmoo 3y ago

   Holy S*it.. How many years has this been considered missing?
2. 2.▲
   by logicmoo 3y ago

   > 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 the best way to solve it. > Prolog is a programming
3. 3.▲
   by logicmoo 3y ago

   -------- > 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 the best way to solve it. While Prolog streamline
4. 4.▲
   by logicmoo 3y ago

   > 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!
5. 5.▲
   by logicmoo 3y ago

   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 (such as ILP) in Prolog, as it will likely be the most efficien