ReSpecT (Reaction Specification Tuples) is a logic-based language for distributed system coordination. ReSpecT is based on a coordination model exploiting tuple centres as first-class, general-purpose coordination media.
Prosper is a web application development framework to augment Prolog applications with a web interface. It supports control flow in visual logic and promotes a clear separation of model from view.
Component (library, framework) refactoring may affect existing applications, where the client code used previous component versions. Our tool preserves applications binary-compatible by generating an adaptation layer out of change history.