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
Go From AI Idea to AI App Fast Icon
Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
Try 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