From 13efe91101a11f41caf6321a8b2fbdd96ef9927a Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Tue, 27 Jul 2021 16:41:12 +0000 Subject: remove clausenr from terms, and put it into goals instead. Next up is implementing the control constructs in C, since they misbehave right now due to the new changes --- system.pl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'system.pl') diff --git a/system.pl b/system.pl index 5883aee..35db774 100644 --- a/system.pl +++ b/system.pl @@ -69,8 +69,6 @@ If ; _ :- _ ; Else :- Else. -A , B :- A , B. - % Term unification A = A. @@ -696,3 +694,6 @@ halt :- consult(File) :- loader:load_module_from_file(File). + +twice(!) :- '$write_term'(4, 'C ', []). +twice(true) :- '$write_term'(4, 'Moss ', []). \ No newline at end of file -- cgit v1.2.3