Your approach is the idea of using an LLM not as an "inference engine," but as a Prolog execution environment. The core is: Explicitly providing goals and rules → The LLM operates while knowing "what ...

This repo is a record of my attempt to research and learn Prolog programming using Constraint Logic Programming (CLP). The work here was greatly inspired along by the Power of Prolog series, reading ...

Data-driven approaches are becoming increasingly common as problem-solving tools in many areas of science and technology. In most cases, machine learning models are the key component of these ...

This is a modification of Tim Finin's PFC. The Pfc system is a package that provides a forward reasoning capability to be used together with conventional Prolog programs. The Pfc inference rules are ...

Can solving hard computational problems be made easy? If we restrict the scope of the question to computational problems that can be stated in terms of constraints over binary domains, and if we ...