Symbolic Logic Exploration
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.
- Quiet · last change 12-23-2003
- Name
- symboliclogic
- Address
- sourceforge.net/projects/symboliclogic
- Kind
- Application
- Works with
- Unknown
- Forge
- SourceForge
- Owner
- symboliclogic
- Status
- Quiet
- License
- GNU General Public License version 2.0 (GPLv2)
- Created
- 12-21-2003
- Last pushed
- 12-23-2003
- Latest release
- bertie-3.zip
- Released
- 12-23-2003
- Last seen (UTC)
- 2026-11-05T21:31:40Z
Topics: Artificial Intelligence Mathematics Computer Aided Instruction (CAI) Topic
Found by: SourceForge
Bench
Found automatically. Is this yours? Message the admin
Show it in your README
Paste this into your README.md:
[](https://pascal.chat/catalog/12155)