Re: To develop a system fit for Web-heroes.

I have often wanted a system where not everything is a term. 
Every clause in Prolog should continue to be a term, just 
as every declaration in LISP is a list.  

But that doesn't mean there aren't other data types, nor that 
there isn't syntax that read/N evaluates to be something of 
another type.  And then write/N spits out code that 
(A) is fundamentally terms, and 
(B) gets preprocessed upon read to various datatypes.  Unless 
you use a read_quoted or somesuch to prevent that processing.

Make this approach the foundation and you will have the power 
to define useful syntax and allow users flexibility to manage 
its application. We should be able to cover the JSON type set 
within SWI-Prolog source files, in addition to being able to 
just load JSON.  In fact JSON can be done already, but at the 
expense of using tagged terms - slow, verbose, and without 
strong typing.
 
Alan Baljeu