Axiomatic Language
axiomaticlanguage.orgA pure, minimal but extensible, logic-programming/specification language with meta-language capability is described. The paradigm involved explicitly separates declarative specification from ensuing transformation.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.