TyRuBa -- Logic Meta Programming for Java
Computers, Programming, Languages, Logic-based - TyRuBa. Type Rule Base is an experimental logic/metaprogramming language for generating Java code.
https://tyruba.sourceforge.net/
Logic-based
The Maude System
Computers, Programming, Languages, Logic-based - The Maude System. Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.
https://maude.cs.uiuc.edu/
XSB
Computers, Programming, Languages, Logic-based - XSB. A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering among other things evaluation through full SLG resolution.
https://xsb.sourceforge.net/