Axiom musings....

[Tim Daly]

The latest Sane book is uploaded, a work in progress.

The major development is the start of parsing. The internal
data structures are the target and they have already been
mostly developed as the system is being written "middle-out".
That is, the intermediate representation was the first thing
developed.

The Axiom parser, developed by William Burge, has a lot of
permutations of syntax. The new parser will likely restrict the
syntax. In addition, the new parser will have to handle logic
forms which have yet to be chosen. There are several logic
languages with various tradeoffs. Some of the possible
choices imply a lot of hidden machinery, such as the ability
to make arguments optional. That implies a prolog-like
resolution algorithm which adds a lot of additional overhead.

Since we're striving for simple and maintainable code as
well as clear end-user language features it is not clear that
this overhead is beneficial.

The pdf is available through github:
https://github.com/daly/PDFS/blob/master/bookvol15.pdf

Anyway, development continues. Enjoy.

Tim