[()] [()] [()] [()] [()] [()] [(ensure-compiler!)] [(compile! is-variable)] [(compile! is-expression)] [(compile! is-closed)] [(compile! bc)] [(listing! metta_compiled_predicate)] [()] [()] [(bc (: CPU (⍃ 2 3)) GroundingSpace-0x1de1228 Z)] [(bc (: CPU (⍃ 4 3)) GroundingSpace-0x1de1228 Z)] [(bc (: $prf (less $x $y)) GroundingSpace-0x1de1228 (S (S (S Z))))] 0.02user 0.00system 0:00.03elapsed 97%CPU (0avgtext+0avgdata 24828maxresident)k 0inputs+0outputs (0major+3039minor)pagefaults 0swaps