chaining/experimental/common/ListTest.metta at main · logicmoo/chaining · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
;; Import List
!(import! &self List.metta)

;; Test insert
!("============ Test insert ============")
!(insert 1 Nil)
!(insert 2 (insert 1 Nil))
!(insert 3 (insert 2 (insert 1 Nil)))
!(== (Cons 1 Nil) (Cons 1 Nil))

;; Test sort
!("============ Test sort ============")
!(sort (Cons 1 Nil))
!(sort (Cons 2 (Cons 1 Nil)))
!(sort (Cons 3 (Cons 1 (Cons 2 Nil))))

;; Test elem
!("============ Test elem ============")
!(elem 1 (Cons 3 (Cons 1 (Cons 2 Nil))))
!(elem 5 (Cons 3 (Cons 1 (Cons 2 Nil))))

;; Test uniq
!("============ Test uniq ============")
!(uniq (Cons 2 (Cons 3 (Cons 1 (Cons 2 Nil)))))
!(uniq (Cons 2 (Cons 3 (Cons 3 (Cons 2 Nil)))))

;; Test insert_uniq
!("============ Test insert_uniq ============")
!(insert_uniq 2 (insert_uniq 1 Nil))
!(insert_uniq 3 (insert_uniq 2 (insert_uniq 1 Nil)))
!(insert_uniq 2 (insert_uniq 3 (insert_uniq 2 (insert_uniq 1 Nil))))