AxiomaticLanguage.org
Visit Website |
|
edit Title
Axiomatic Language Home Page
edit Description
A minimal, pure specification logic programming language with meta-language capability.
edit Contact
- Walter W. Wilson
-
- Fort Worth TX
- US 76116
-
- +1.8172442940
edit Additional Information
edit Related Domains
Categories:
Formal Methods | Fp | Functional Programming | LISP | Logic-based | Logic Programming | Meta-programming | Prolog- get page alerts
- Influence Us
-
close
Close Me


