4 ms·
Has anyone had a look or knows of production systems made with a Haskell-like language named Curry? (https://curry-lang.org/ https://curry-lang.org/) Sounds a
by kensai 6y ago
Has anyone had a look or knows of production systems made with a Haskell-like language named Curry? (https://curry-lang.org/ https://curry-lang.org/)
Sounds a lot like Haskell with Prolog...
“ Curry is a declarative multi-paradigm programming language which combines in a seamless way features from functional programming (nested expressions, higher-order functions, strong typing, lazy evaluation) and logic programming (non-determinism, built-in search, free variables, partial data structures). Compared to the single programming paradigms, Curry provides additional features, like optimal evaluation for logic-oriented computations and flexible, non-deterministic pattern matching with user-defined functions.”
- tome 6y agoTangentially, did you actually manage to make an HTTPS connection to that site? I can only manage HTTP.
- chriswarbo 6y agoI've played with it, using the kics2 implementation. I made a rough package for Nix, which might be useful if you have problems installing it: http://chriswarbo.net/git/warbo-packages/git/branches/master/packages/kics2.nix.raw.html http://chriswarbo.net/git/warbo-packages/git/branches/master... You might like the Mercury language too: https://mercurylang.org/ https://mercurylang.org/
- iso8859-1 6y agoYou can already have Prolog embedded in Haskell, using LogicT. Here is the paper by Kiselyov: http://okmij.org/ftp/papers/LogicT.pdf http://okmij.org/ftp/papers/LogicT.pdf