CYC vs Prolog

Have you seen this www.cyc.com
Is this the seed of real AI. I tend to believe so.
On this page there is a statement about prolog
http://www.cyc.com/cyc/technology/w...owdoescycreason
"Because the Cyc KB contains hundreds of thousands of assertions (aka
"rules"), many approaches commonly taken by other inference engines (such as
frame-based expert system shells, RETE match, Prolog, etc.) just don't scale
up to KBs of this size. As a result, the Cyc team has been forced to develop
other techniques."

What is missing in Prolog to be the language of choice for such project?
More I look what CYC is to be more I think Prolog should be the language of
choice. What do you think?

Is there someone doing something like CYC with Prolog?

Hmmmm, I've been working on a prolog based system that has millions of
rules. The "Cyc team" must not have had the right skillset.

Walter Wilson
wgw at symplicity dot biz


"George SP." <noway@forgetit.com> wrote in message
news:cqv37h$64b$1@titan.btinternet.com...
> Have you seen this www.cyc.com
> Is this the seed of real AI. I tend to believe so.
> On this page there is a statement about prolog
> http://www.cyc.com/cyc/technology/w...owdoescycreason
> "Because the Cyc KB contains hundreds of thousands of assertions (aka
> "rules"), many approaches commonly taken by other inference engines (such
as
> frame-based expert system shells, RETE match, Prolog, etc.) just don't
scale
> up to KBs of this size. As a result, the Cyc team has been forced to
develop
> other techniques."
>
> What is missing in Prolog to be the language of choice for such project?
> More I look what CYC is to be more I think Prolog should be the language
of
> choice. What do you think?
>
> Is there someone doing something like CYC with Prolog?
>
>
>
>