Proshee

  •        0

Proshee is a Prolog type-inference system written in Prolog but depending on the banshee project in C (banshee.sourceforge.net). At present it manages very simple type-inference, but it has some problems with lists that need to be overcome.

http://proshee.sourceforge.net

Tags
Implementation
License
Platform

   




Related Projects