zlacker

[return to "Can logic programming be liberated from predicates and backtracking? [pdf]"]
1. tempod+Nj2[view] [source] 2024-10-13 05:38:42
>>matt_d+(OP)
The Curry language (https://www.curry-language.org) does look interesting. Does anybody have practical experience with it?
◧◩
2. mdanie+2m3[view] [source] 2024-10-13 16:42:56
>>tempod+Nj2
while I was trying to track down the license for it[1], I found https://git.ps.informatik.uni-kiel.de/curry/curry2go (also BSD-3) which says "A compiler and run-time system to compile and run Curry programs as Go programs"

1: maybe this is it? it does include a lot of curry named submodules; anyway, BSD-3-Clause https://git.ps.informatik.uni-kiel.de/curry/pakcs/-/blob/v3....

[go to top]