Computers » Programming » Languages » Logic-based	UPDATE INFO | REPORT BROKEN LINK
TyRuBa	Popularity:    Hit: 671

Details:

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. URL: http://tyruba.sourceforge.net/ Title: TyRuBa -- Logic Meta Programming for Java Image: Description: Computers, Programming, Languages, Logic-based - TyRuBa. Type Rule Base is an experimental logic/metaprogramming language for generating Java code. Similar:

Related Sites

XSB (Popularity: ): A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering ... The Maude System (Popularity: ): Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational ... SampleTalk Language and programming technology (Popularity: ): Build a program immediately from data processing examples: AI language, simpler than Prolog, based on generalization and matching of unconstrained ... Dyna (Popularity: ): A logic-based language for dynamic programming. Equational inference rules derive theorems with associated values, e.g. probabilities in statistical AI. Supports ...

Popular Sites

The Maude System (Popularity: ): Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational ... TyRuBa (Popularity: ): Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog, is implemented ... XSB (Popularity: ): A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering ...