frst order logic demo




File list:
Doc
..\Report.doc
Release
......\FOL.exe
......\test.inp
......\test2.inp
Sources
......\FOL
......\...\bin
......\...\obj
......\...\...\x86
......\...\Properties
......\...\..........\AssemblyInfo.cs
......\...\AllEnums.cs
......\...\Chaining.cs
......\...\ExtensionMethods.cs
......\...\FOL.csproj
......\...\FOL.csproj.DotSettings.user
......\...\FOLOperator.cs
......\...\Horn.cs
......\...\KnowledgeBase.cs
......\...\ProcessFile.cs
......\...\Program.cs
......\...\QueryResult.cs
......\...\Term.cs
......\FOL.sln