[lkb] Interactive unification in LUI

"Emily M. Bender" <[email protected]> Mon, 14 Jan 2008 17:14:57 -0800
Newsgroups gmane.comp.ai.lkb
Message-ID <[email protected]>
Hello,

How does one access interactive unification in LUI?
We have been able to find "select", but not "unify".

Thanks,
Emily