OpenEuphoria

overloading

• Posted by gertie at visionsix.com Mar 11, 2003
• 434 views

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