Axiomatic Language
A minimal pure-specification logic programming language
with meta-language capability.
contact:
Walter W. Wilson
wwwilson1 @ sbcglobal . net
(I would like to hear from anyone interested in this language.)
papers on axiomatic language:
A Minimal Specification Language,
LOPSTR
2000
Pre-Proceedings.
(slides)
Beyond PROLOG: Software Specification by Grammar, SIGPLAN Notices,
Sept. 1982, pp.34-43.
(ACM link)
A Long-Term Logic Programming Language, ALP Newsletter, May 2004.
Specifying Input/Output by Enumeration, PLDI 2010 FIT: Fun Ideas and Thoughts (blog).
ICLP 2011 Doctoral Consortium submission: "Implementation of Axiomatic Language" (report, slides).
A Language for Engineering Design, 2007 NASA-ESA Workshop on Product Data Exchange (pdf).