From ee395e91f172705c072251ede0b4a07c22d152d9 Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Mon, 15 Jul 2019 16:01:59 -0700 Subject: [PATCH] Retract previous definitions before asserting new ones. --- thun/thun.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/thun/thun.pl b/thun/thun.pl index 9ebfc65..919305d 100644 --- a/thun/thun.pl +++ b/thun/thun.pl @@ -235,8 +235,8 @@ read_defs(DefsFile, Defs) :- assert_defs(DefsFile) :- read_defs(DefsFile, Defs), - forall(member(Def, Defs), assertz(Def)). + forall(member(Def, Defs), assert_def(Def)). + +assert_def(Def≡Body) :- retractall(Def≡_), assertz(Def≡Body). :- assert_defs("defs.txt"). -% working_directory(_, 'c:/users/sforman/desktop/src/joypy/thun/'), -