code

; Basic MeTTa expression evaluation !(+ 1 2) ; => 3 ; Define a knowledge base (= (parent Tom Bob)) (= (parent Bob Sam)) ; Query relationships !(match &self (= (parent Tom $x)) $x) ; => Bob