programmazione logica funzionale

Combinazione di paradigmi di programmazione funzionale e logica in un unico linguaggio.