Hacker News new | ask | show | jobs
by dromey 5235 days ago
Prolog and other logic programming languages are natural rule languages. You will want to consider the semantics that the rules are given as well as how negation in the language is treated. It's also good to know the (worst-case) complexity of the problems you are trying to solve and to match them appropriately to expressive power of the rule language you propose to use.