TyRuBa

TyRuBa is a logic-meta programming language for Java. Mainly intended to generate Java code from logic descriptions of program structure. It was implemented as part of my PhD as a system to experiment with the idea of type-oriented logic meta programming. TyRuBa's name derives from this origin, it is an acronym for TypeRule Base. However, the system has no specific built-in features which make it focus on types. Rather it is a general, simple logic programming language with a few peculiarities to facilitate the manipulation of Java code for the purpose of code generation.

TyRuBa is still being maintained and used in CPSC 539 to introduce concepts of logic programming and logic meta programming.

For more information visit our main TyRuBa page