examples

</> Example Implementation

WAM-based execution

Demonstrates MeTTaLog's WAM-grounded execution model for concurrent symbolic computation.

; 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]