1. overloading
- Posted by gertie at visionsix.com
Mar 11, 2003
I feel this overloading thread is so important, with Eu's objects and nested
sequences, i feel i should pass this along, from
http://www.cyc.com/rkf/meld-overview.html
In order to express real-world expertise and even just plain old common sense
knowledge, however, we have had to introduce expressive powers far beyond
those of mortal first-order logic. However, for simplicity MELD's syntax follows
as closely as possible first-order predicate calculus -- the language of formal
logic
-- so, e.g., modals appear just like any other predicate but with one or more of
their arguments "quoted"; i.e., with a complete assertion appearing in place of
an
argument.
, which is a neat trick that is difficult or impossible in most languages. But
the
things Eu lacks to contend in the same arena as Cyc is string execution and
knowing what it knows (what vars names, what procedure names, that sorta
thing), which the "toy" language mirc and Lua can do..
Kat
