Prolog planner generation prompting guide (sgml.net)
Combining the strength of Large Language Models (LLMs) with Prolog combinatorial search is a natural fit actually delivering tangible progresses in mainstream automated planning.