Language-Prototyping-System

Specification of Logic Programming Languages from Reusable Semantic Building Blocks