4 ms·
Check Mercury, it's a modern strictly typed logic/fp alternative to Prolog [1] [1] https://mercurylang.org https://mercurylang.org
by ghostwriter 5y ago
Check Mercury, it's a modern strictly typed logic/fp alternative to Prolog [1]
[1] https://mercurylang.org https://mercurylang.org