A Tiny Prolog in Python

Contents Definitions Building a Tiny Prolog in Python Variables Predicates Goals Lists Environment Unification Resolution References Artifacts Important: Pyodide takes time to initialize. Initialization completion is indicated by a red border around Run all button. Run all TLDR; This tutorial is an implementation of a toy prolog interpreter in Python. It is based on an earlier implementation here…