4 ms·
A statically typed logic language would be ideal for both
by ipnon 7y ago
A statically typed logic language would be ideal for both
- Avshalom 7y agohttps://mercurylang.org/ https://mercurylang.org/
- lliamander 7y agoMercury is cool. I translated a simple Prolog program to it once, and it was a head trip. Hard to get my mind around, but also helped me see the connection between functions and relations.
- ggleason 7y agoWe evaluated the use of Mercury before settling on prolog for terminusDB. Mercury is a great language, but the community and library support is just a bit too small.