Add a Review
1 Download (This Week)
Last Update:
Download proshee-0.01.tar.gz
Browse All Files


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

Proshee Web Site

Update Notifications

Write a Review

User Reviews

Be the first to post a review of Proshee!

Additional Project Details

Intended Audience


User Interface

Console/Terminal, Win32 (MS Windows), X Window System (X11)

Programming Language

C, Prolog


Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.