-
Notifications
You must be signed in to change notification settings - Fork 3
HusTop
StephanOepen edited this page Sep 9, 2020
·
1 revision
Internal notes from ongoing experimentation with Hole Unification Semantics (aka the MRS Algebra on steroids).
Add :trace t to the call to evaluate() to see the terms that go into each operation and its result.
(simplify (evaluate (nth 7 lkb:*parse-record*)))
Home | Forum | Discussions | Events