I. OVERVIEW: FREGE is a logic programming language inspired by the programming language Prolog, with the programming syntax expressed as facts and rules. A small Windows compiler (only 1.2 MB) that can be runned from the Windows command-line or from your own C++ (or C#) code. The programming language is modeled after "First-Order Predicate Logic". The inference engine infers new logical facts from the user's logic statements and alerts the user if there is any contradiction in their logic.

Over 30,000+ Downloads (since 2014)

The language is named after Frege whose symbolic logic language introduced the concepts of formal inference and quantification of variables (a direct pre-cursor to modern logic).

II. MOTIVATION: FREGE is designed to be a simple, efficient and easy-to-use compiler and inference engine for logic programming. Discover and infer new logical facts from your logic statements and also check their logic consistency. FREGE can be run from the Windows command-line or from your own C++/C# code. FREGE includes an inference engine with a fast and optimized "dynamic execution model".

III. APPLICATIONS: Logical facts and rules are stored in a table that is known as a Knowledge Base.

You can also accomplish dynamic programming. You can store your Knowledge Base dynamically in memory as a table (which can also grow over time as you add new facts and rules). This will make your code much more compact and clean as your logic-rules are now stored externally. FREGE takes as input a text file (storing your logic rules) and compiles them to output a text file which you can then parse. This represents your updated Knowledge Base.

IV. PROGRAMMING SYNTAX: View the Programming Manual for FREGE here. You can also type "frege" in windows console to see the programming syntax.

V. BUY:




VI. INSTRUCTIONS (Run from the Windows command-line):

Write your logic code in a separate file using any text editor (see section IV: PROGRAMMING SYNTAX). From the Windows command-line (in the same working directory), run "frege.exe [source-code file name]". The compiler will compile this code and output a file that represents your updated Knowledge Base (original logical facts plus any new inferred facts). The compiler will notify the user if a contradiction arises in their logic through the command-line window output.

VII. INSTRUCTIONS (Run from your own C++/C# code):

Write code to express your logic in a separate file using any text editor (see section IV: PROGRAMMING SYNTAX).

If using C++ and Visual Studio, you need "#using ", "using namespace System", "using namespace System::Diagnostics", and "using namespace System::ComponentModel". Then type "Process::Start("frege.exe", "source-code file name")" in your code. Parse the output file in your own code to construct your knowledge base.

If using C# and Visual Studio, you need "using System", "using System.Diagnostics", and "using System.ComponentModel". Then run "Process.Start("frege.exe", "source-code file name")" in your code. Parse the output file in your own code to construct your knowledge base.


Copyright 2017 Robosoft Games