{{Cat main|Functional logic programming}}
Category:Declarative programming languages
Category:Functional languages
Category:Logic programming languages
Category:Multi-paradigm programming languages