forked from drspro/metta-wam
-
Notifications
You must be signed in to change notification settings - Fork 0
/
NatParityTest.metta.answers
21 lines (21 loc) · 1.26 KB
/
NatParityTest.metta.answers
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
Doing: timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_opencog/hyperon-wam/examples/extended_compat/hyperon-pln/metta/hol/NatParityTest.metta
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[(let* (((: $prfarg#193 (=== Nat Nat)) (bc (: $prfarg#193 (=== Nat Nat)) (S (S Z))))) (: (((. Replace) Sym) $prfarg#193) (-> (: $k Nat) Nat))), (: ((. S) ((. S) S)) (-> (: $k Nat) Nat)), (: ((. S) ((. S) double)) (-> (: $k Nat) Nat)), (: ((. S) ((. double) S)) (-> (: $k Nat) Nat)), (: ((. S) ((. double) double)) (-> (: $k Nat) Nat)), (: ((. S) S) (-> (: $k Nat) Nat)), (: ((. S) double) (-> (: $k Nat) Nat)), (: ((. double) ((. S) S)) (-> (: $k Nat) Nat)), (: ((. double) ((. S) double)) (-> (: $k Nat) Nat)), (: ((. double) ((. double) S)) (-> (: $k Nat) Nat)), (: ((. double) ((. double) double)) (-> (: $k Nat) Nat)), (: ((. double) S) (-> (: $k Nat) Nat)), (: ((. double) double) (-> (: $k Nat) Nat)), (let* (((: $prfarg#193 (=== Nat Nat)) (bc (: $prfarg#193 (=== Nat Nat)) (S (S Z))))) (: (Replace $prfarg#193) (-> (: $k Nat) Nat))), (: S (-> (: $k Nat) Nat)), (: double (-> (: $k Nat) Nat))]
3.65user 0.00system 0:03.66elapsed 100%CPU (0avgtext+0avgdata 37560maxresident)k
0inputs+0outputs (0major+4675minor)pagefaults 0swaps