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

nel_h2
Keep company data safe with Chrome Enterprise Icon
Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
Download Chrome
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