summaryrefslogtreecommitdiff
path: root/system.pl
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-27 16:41:12 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-27 16:41:12 +0000
commit13efe91101a11f41caf6321a8b2fbdd96ef9927a (patch)
tree4444bb78783fda4d815a4ec91f44052e0de27383 /system.pl
parent4fba3e66dce0d167d2031a0d1f1f6f4571cbd981 (diff)
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 changesHEADfront
Diffstat (limited to 'system.pl')
-rw-r--r--system.pl5
1 files changed, 3 insertions, 2 deletions
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