🚀 go-pugleaf

In article <54200006@hplabsb.UUCP>, mohan@hplabsb.UUCP (Joseph Mohan) writes:
> Where can I get a copy (hard or soft) of BSI Prolog standard?  I mean
> the complete standard.  I saw the summary on the syntax by Chris Moss.
> If you have a copy, will appreciate your lending it for copying.
> 	Joe

There is no such animal yet.

There are several documents:
	Draft 4 of the built-in-predicates (amazingly vague, for the
	most part, and there are at least two updates)

	Syntax (Actually, two syntaxes, one Lispish, and one Prologish)

	Modules (there is some interesting survey material, but I haven't
	seen a proposal yet)

	The Formal Specification

These documents do not yet agree with each other, and what is there is
incomplete.  I haven't seen anything resembling a testable specification
of write/1, for example.  (I mean a specification which could be used to
test whether an implementation conformed to it or not.  Yes, I have seen
the term input/output document.  No, it doesn't resemble a testable
specification.)

Anyone in the neighbourhood is welcome to borrow my copies, but you
might want to practise on H.P.Lovecraft first.