TyRuBa
TyRuBa is a logic-meta-programming system which was designed to be used for generating Java code. It was implemented as part of my Ph.D. work as a system to experiment with the idea of type-oriented logic meta programming. TyRuBa\'s name derives f
Tutorial Details:
New features in TyRuBa 6.x versions:
* A Type and Mode checking system. This offers better (though still rather cryptic at times :-) error messages as well as more intelligence on behalf of the query engine in \"making\" queries work by rearranging the order of expressions. Thus the language has become significantly more declarative. In general, writing rules has become a bit harder now because you have to satisfy the type system, which is a little picky sometimes, but writing queries on the other hand has become signficantly easier because of the engines understanding of proper execution modes for predicates. The Type and Mode system should be considered as experimental at this stage and likely to undergo changes. You can actually have an impact on what changes by informing is where the type system makes it hard / impossible to port existing 5.x code.
* A factbase which stores facts and indexes for lookup partially on disk. This allows for much larger factbases to be used without running out of memory.
* Together with the disk-based factbase comes the ability to persist a factbase between runs of the engine (only accessible through use of the API interfaces, not through the commandline application)
Read
Tutorial at: Click here to view the tutorial
Rate Tutorial: TyRuBa
View Tutorial: TyRuBa
Related
Tutorials:
|
