Practical Prolog Planner Prompting

Using Large Language Models to generate Prolog planners Combining the strength of Large Language Models (LLMs) with Prolog combinatorial search is a natural fit actually delivering tangible progresses in mainstream automated planning. State of the art in LLM-generated planners Parts of the public discussion about LLMs revolves around unachievably high goals such as "General AI", but LLMs are just statistical language models after all and excel in language translation and summarization tasks foremost. And while LLMs can be trained to do almost anything including optimization and other math and reasoning tasks, it's exceedingly clear results are determined by the used training data sets, and remain highly volatile and unpredictable for problems outside that set, a fact well known acknowledged in papers such as aiw and posp. Rather than having LLMs perform planning itself, it's thus only natural to complement LLMs with the raw combinatorial power of Prolog, much like a human would be ... Read full article.