Web Directory

    Top: Computers: Programming: Languages: Logic-based:

 

Axiomatic Language

  Link Details for: Axiomatic Language
Link Title: Axiomatic Language Open in a new window
Link URL: http://www.axiomaticlanguage.org/
Link Details: A pure, minimal but extensible, logic-programming/specification language with meta-language capability is described. The paradigm involved explicitly separates declarative specification from ensuing transformation.
Category: Top : Computers : Programming : Languages : Logic-based
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Axiomatic Language