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).