Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog, is implemented in Java and provides a simple command-line interface.