3 ms·

Cool stuff. The link at the end seems broken. This one worked for me http://logic.csci.unt.edu/tarau/research/LeanProlog/ http://logic.csci.unt.edu/tarau/resear

by z5h 15y ago

Cool stuff. The link at the end seems broken. This one worked for me http://logic.csci.unt.edu/tarau/research/LeanProlog/ http://logic.csci.unt.edu/tarau/research/LeanProlog/