I'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://chriswarb

I'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/