Axiomatic Language

A minimal pure-specification logic programming language
with meta-language capability.


contact:
    Walter W. Wilson
    wwwilson1 @ sbcglobal . net


papers on axiomatic language:

"A Minimal Specification Language", LOPSTR 2000 Pre-Proceedings (HTML (revised)).  (transparencies: HTML (revised)).

"Beyond PROLOG: Software Specification by Grammar", SIGPLAN Notices, Sept. 1982, pp.34-43 (HTML).

A Long-Term Logic Programming Language, ALP Newsletter, May 2004.

A Proposal for CATIA V6, This talk advocates using axiomatic language for engineering design, instead of a vendor's proprietary file format, Feb. 2006 (pdf).