TyRuBa

Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog, is implemented ...

TyRuBa Manual

Logic Programming and Logic Meta Programming in TyRuBa. Tutorial. 1. What is TyRuBa? TyRuBa is a logic programming language. It was originally built to ...

TyRuBa Library

TyRuBa Library. The following are predicates included in libraries loaded automatically in TyRuBa. If you would not like these predicates added to the ...

TyRuBa Language Reference

Logic Programming and Logic Meta Programming in TyRuBa. Language Reference (for release 5.10). See also. Tutorial style manual (under construction) ...

The BSD License

OSI Certified Open Source Software. Distributed under the BSD license agreement. Copyright (c) 1998 Kris De Volder <kdvolder@cs.ubc.ca> ...