A college project to develop a first order logic editor, Fol-E. http://www.youtube.com/watch?v=FRAyMdXee0c The program will be developed in Java, and will be available on Windows, Mac and Linux.

Features

  • Straight forward editor for predicate logic
  • Efficient, clear, easy to use
  • Syntax highlighting for logic expressions

Project Activity

See All Activity >

Follow Fol-E

Fol-E Web Site

Other Useful Business Software
$300 Free Credits to Build on Google Cloud Icon
$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Fol-E!

Additional Project Details

Registered

2011-03-11
Report inappropriate content