Lynn H. Maxson
Fri, 30 Jun 2000 08:45:34 -0700 (PDT)
Joseph Bowers wrote:"Perhaps a good way for Lynn to
illustrate the ideas brought up would be to build a
small prototype/demonstration system, or at least a
concrete specification/set of design documents, and
show them to the list. This might clear up many
points of confusion/dispute..."
If you exclude AI systems, I have only two
languages, Trilogy and Prolog. Trilogy is
effectively defunct while Prolog (PDC) is available
for download. The text which I use for reference
purposes is "Simply Logical: Intelligent Reasoning
by Example" by Peter Flach.
The declarative issue (as I understand it) lies
with the need for a user to "explicity" declare the
attributes of a variable used in an expression or
simply allow its use in the context of an
expression to act as an "implicit" declaration of
those attributes. It's no big deal with me in PL/I
as it supports both. As it does so I do not
understand why we should make an arbitrary choice
when no choice is necessary.
I'm willing to drop code generation issues, as (1)
solutions obviously exist, and (2) it only occurs
after all other (logical) issues have been
resolved. As the Tunes HLL (and the other broad
areas within the Tunes project) has yet to resolve
the logical issues, I say do that first and then
The principle of logical equivalence is embedded
within formal logic itself.