Contents Definitions Building a Tiny Prolog in PythonVariables Predicates Goals Lists Environment Unification Resolution ReferencesArtifacts Important:Pyodide takes time to initialize. Initialization completion is indicated by a red border around Run all button. TLDR; This tutorial is an implementation of a toy prolog interpreter in Python. It is based on an earlier implementation here that has since disappeared. Definitions For this post, we use the following terms: A fact is a statement tha...
