[logicmoo]

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 efficient choice.

In the case of creating type-safe software, writing the interpreter in Prolog is a good idea, as it allows for code verification during runtime.

Lastly, if you wish to integrate code and database functionality, it is advisable to use Prolog to develop an enhanced Datalog system, which will offer a more powerful and flexible solution.