4 ms·
Somewhat related is Curry https://www-ps.informatik.uni-kiel.de/currywiki/ https://www-ps.informatik.uni-kiel.de/currywiki/ It builds off the concepts of prolo
by rudolph9 6y ago
Somewhat related is Curry https://www-ps.informatik.uni-kiel.de/currywiki/ https://www-ps.informatik.uni-kiel.de/currywiki/
It builds off the concepts of prolog in a purely functional strongly typed way. The main compiler, PAKCS, actually targets prolog. Hard to wrap your head around without knowledge of Haskell but with taking a look at.