Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Symbolic Logic Exploration

Symbolic Logic Exploration Web Site

Other Useful Business Software
$300 in Free Credit Towards Top Cloud Services Icon
$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
Get Started
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Symbolic Logic Exploration!

Additional Project Details

Operating Systems

BSD, FreeBSD, Linux, MS-DOS, Windows

Languages

English

Intended Audience

Education, End Users/Desktop, Science/Research

User Interface

Win32 (MS Windows), X Window System (X11)

Programming Language

Delphi/Kylix, Pascal

Related Categories

Pascal Artificial Intelligence Software, Pascal Mathematics Software, Pascal Computer Aided Instruction (CAI) Software, Pascal Topic Software, Delphi/Kylix Artificial Intelligence Software, Delphi/Kylix Mathematics Software, Delphi/Kylix Computer Aided Instruction (CAI) Software, Delphi/Kylix Topic Software

Registered

2003-12-21