Embedding of First-Order Relational Logic into Meta-Object Facility
Primary LanguageJavaMIT LicenseMIT