IMP Logics
Last Published: 1980-02-01
|
Version: 2.4.0
IMP Logics
Project Documentation
Project Information
Dependencies
Dependency Information
Distribution Management
About
Licenses
Plugins
Source Code Management
Summary
Team
Project Reports
About IMP Logics
IMP Logics is a metamodel for expressing logical formulas based on Datalog.
