2 ms·
It is! Curry is much more like a functional programming language with logic programming features. miniKanren and miniKanren-like systems are usually shallow emb
by swannodette 13y ago
It is! Curry is much more like a functional programming language with logic programming features. miniKanren and miniKanren-like systems are usually shallow embeddings of relational/constraint programming in some host language.