; MeTTaLog executes on the Warren Abstract Machine ; Concurrent symbolic evaluation !(sequential (add-atom &self (concept A)) (add-atom &self (concept B)) (match &self (concept $x) $x)) ; => [A, B]