FTP 50?

[Mark Tarver]

I've finally converged on a version which works the way I think it should.

Full testing remains to be done.   This program has had more iterations

than even Shen and is easily the most complex application I've written in

Shen.

ASSERT and RETRACT needs to be debugged and when they are we can wrap

this up for now.

Reasoning for equality is another matter and requires unordered paramodulation

which is fabulously inefficient.   Room for much improvement there.

However I do need to get back to Yggdrasil and will pause FTP there.

 Also personal matters call and I will not be working flat out as I have during

the past month.

Mark