X-Logic

inactive

Add a Review
2 Downloads (This Week)
Last Update:
Download x-logic-src-1.0.tar.gz
Browse All Files
BSD Linux

Description

The dream of Leibniz. A project devoted to realising the lingua characteristica and calculus ratiocinator using XML technologies where appropriate. Includes (at this stage mainly consists of) research in philosophy and logic.

X-Logic Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of X-Logic!

Additional Project Details

Intended Audience

Developers, Other Audience

User Interface

Web-based

Programming Language

C, Perl, Standard ML

Registered

2000-01-11
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.