File list (Check if you may need any files):
Release\FOL.exe
.......\test.inp
.......\test2.inp
Sources\FOL\AllEnums.cs
.......\...\Chaining.cs
.......\...\ExtensionMethods.cs
.......\...\FOL.csproj
.......\...\FOL.csproj.DotSettings.user
.......\...\FOLOperator.cs
.......\...\Horn.cs
.......\...\KnowledgeBase.cs
.......\...\ProcessFile.cs
.......\...\Program.cs
.......\...\...perties\AssemblyInfo.cs
.......\...\QueryResult.cs
.......\...\Term.cs
.......\FOL.sln
Doc\Report.doc
Sources\FOL\obj\x86
.......\...\bin
.......\...\obj
.......\...\Properties
.......\FOL
Release
Sources
Doc