Fol-E

Brought to you by: balazspete, garydoyle, kayotic18, robertdevereux, themoment

Add a Review

Downloads: 0 This Week

Last Update: 2013-04-26

Download

Get an email when there's a new version of Fol-E

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

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

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

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Recommended Projects

gORMmm
This is home of the Generic Object Role Modeling Meta-Model (gORMmm). This ORM metamodel is designed as a software independent ORM metamodel for software developers/researchers of first-order logic, conceptual modeling, and artificial intelligence.
ecode
Lightweight multi-platform code editor designed for modern hardware
GLogic
A logic gate simulator for linux developed with Gtk and python.
Clara Rules
Forward-chaining rules in Clojure(Script)
SPINdle
SPINdle is a logic reasoner that can be used to compute the consequence of defeasible logic theories in an efficient manner. The current implementation covers both the basic defeasible logic and modal defeasible logic.