TyRuBa(ID:2947/tyr001)


for Type Rule Base Kris De Volder UBC 1998
Logic Programming and Logic Meta Programming Language

Extension to PROLOG


Related languages
Prolog => TyRuBa   Extension of
TyRuBa => SOUL   Influence

Resources