From ff3fa7fbde7b5cd9dbf74a09ace2f917bab1573f Mon Sep 17 00:00:00 2001 From: Cassie Jones Date: Mon, 9 Mar 2020 19:14:48 -0400 Subject: [PATCH] Fix a missing argument in "Syntactic Unification" Error mentioned by "Oracy" via email. --- posts/2020/syntactic-unification.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/posts/2020/syntactic-unification.md b/posts/2020/syntactic-unification.md index 1b20268..342b62a 100644 --- a/posts/2020/syntactic-unification.md +++ b/posts/2020/syntactic-unification.md @@ -6,6 +6,7 @@ tags: - logic programming - algorithms summary: "Last year I tried implementing syntactic unification and got completely stuck on the algorithms. Last week I read the MicroKanren paper and discovered that unification could be very simple. Let me show you how!" +next: posts/2020/logic-programming --- Syntactic unification is the process of trying to find an assignment of variables that makes two terms the same. @@ -119,7 +120,7 @@ def unify(a, b): res = unify(ax, bx) if res is None: return None - env.update() + env.update(res) return env return None ``` -- 2.47.0