A unified framework to compute over Tree Grammars

• implementation of Primal Grammars in Prolog
• implementation of Tree Synchronised Grammars in Prolog

GADEL : Genetic Algorithm for Default Logic (under construction)

• implementation of GADEL in Prolog

Models and certificates for QBF

• Implementation of the calculus of models and certificates and a CHR system for QBF in Sicstus Prolog