From 50f83a91220940042962fdb55d07bb03991f52be Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Wed, 30 Jun 2021 17:03:25 +0000
Subject: Add support for builtins, and implement true/0, fail/0, call/1, and
 !/0 builtins

---
 example.pl | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'example.pl')

diff --git a/example.pl b/example.pl
index d9ffc2a..3df943c 100644
--- a/example.pl
+++ b/example.pl
@@ -5,8 +5,6 @@ parentest :-
 parentest :-
 	(0 * (1 + 2) * 3) * 3 + 4.
 
-true.
-
 likes(bob, ice).
 likes(sam, text).
 likes(sam, ice).
@@ -21,6 +19,9 @@ list2(A) :- A = [a,b|c].
 
 curly(A) :- A = {one,two,three}.
 
+tester(A, B) :- !, A = B.
+tester(A, B) :- true.
+
 =(A,A).
 
 length([], zero).
-- 
cgit v1.2.3