Proshee

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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Proshee

Proshee Web Site

Other Useful Business Software

Get Avast Free Antivirus with 24/7 AI-powered online scam detection

Get protection for today’s online threats. Free.

Award-winning antivirus protection, as well as protection against online scams, dangerous Wi-Fi connections, hacked accounts, and ransomware. It includes Avast Assistant, your built-in AI partner, which gives you help with suspicious online messages, offers, and more.

Free Download

Rate This Project

User Reviews

Be the first to post a review of Proshee!

Additional Project Details

Intended Audience

Developers

User Interface

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

Programming Language

Prolog, C

Related Categories

Prolog Debuggers, Prolog QA Automation Software, C Debuggers, C QA Automation Software

Registered

2004-12-23

Similar Business Software

Prolog

Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language, the program...

See Software
Kinde

Authentication happens at some of the most important, and highly impactful, places in your customers' journey. Take control of user authorization with a passwordless authentication, social integrations, and enterprise SSO. Support the branding of all your customers with custom domains and a...

See Software
Jira

Jira is the only project management tool you need to plan and track work across every team. Jira by Atlassian is the #1 software development tool for teams planning and building great products. Trusted by thousands of teams, Jira offers access to a wide range of tools for planning, tracking,...

See Software