llmKanren

Using Large Language Models (LLMs) to Guide Symbolic Search in miniKanren.

Introduction

llmKanren integrates Large Language Models with the miniKanren logic programming language to enhance symbolic search processes. By leveraging LLMs, it aims to improve the efficiency of logical inference and computation.