Überblick

Grundbegriffe

Funktionale, logische und funktional-logische Maschinen

FLIP: Functional-plus-Logic Programming on an Integrated Platform