Recursive portions of prelude

1 files changed, 60 insertions, 0 deletions

diff --git a/src/kompsos-prelude.ads b/src/kompsos-prelude.ads
index 5dbc562..237edbf 100644
--- a/src/kompsos-prelude.ads
+++ b/src/kompsos-prelude.ads
@@ -78,6 +78,66 @@ package Kompsos.Prelude is
             Pair_Term : in     Term'Class);
 
 
+    --  listo  --
+
+    function Linked_List
+           (This      : in World;
+            List_Term : in Term'Class)
+        return World;
+
+    procedure Linked_List
+           (This      : in out World;
+            List_Term : in     Term'Class);
+
+
+    --  membero  --
+
+    function Member
+           (This                 : in World;
+            Item_Term, List_Term : in Term'Class)
+        return World;
+
+    procedure Member
+           (This                 : in out World;
+            Item_Term, List_Term : in     Term'Class);
+
+
+    --  rembero  --
+
+    function Remove
+           (This                           : in World;
+            Item_Term, List_Term, Out_Term : in Term'Class)
+        return World;
+
+    procedure Remove
+           (This                           : in out World;
+            Item_Term, List_Term, Out_Term : in     Term'Class);
+
+
+    --  appendo  --
+
+    function Append
+           (This                           : in World;
+            List_Term, Item_Term, Out_Term : in Term'Class)
+        return World;
+
+    procedure Append
+           (This                            : in out World;
+            List_Term, Item_Term, Out_Term : in     Term'Class);
+
+
+    --  anyo  --
+    --  Skipped due to Recurse doing the same thing
+
+
+    --  nevero  --
+    --  Skipped since it just creates a failed World
+
+
+    --  alwayso  --
+    --  Skipped due to Recurse doing the same thing
+
+
 end Kompsos.Prelude;