On 2/22/13 8:17 AM, John F Sowa wrote:
> As this presentation shows, Prolog + CHR is a highly scalable platform
> that can support major applications. The Semantic Web ignored this
> technology because it is not decidable. But that is also true of
> every major programming language and computational system. (01)
The Semantic Web Project isn't really a monolith. As you know, variety
has been on a growth curve for years :-) (02)
There's a prolog oriented project that focuses on integration with
Semantic Web related endeavors [1]. (03)
Links: (04)
[1] http://www.swi-prolog.org/web/index.html -- SWI-prolog for the
(semantic) web . (05)
-- (06)
Regards, (07)
Kingsley Idehen
Founder & CEO
OpenLink Software
Company Web: http://www.openlinksw.com
Personal Weblog: http://www.openlinksw.com/blog/~kidehen
Twitter/Identi.ca handle: @kidehen
Google+ Profile: https://plus.google.com/112399767740508618350/about
LinkedIn Profile: http://www.linkedin.com/in/kidehen (08)
smime.p7s
Description: S/MIME Cryptographic Signature
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01)
|