Header banner
Revain logoHome Page
Kendrick Breezy photo
1 Level
777 Review
60 Karma

Review on Formalize by Kendrick Breezy

Revainrating 4 out of 5

Great Logic Tool With Very Flexible Features

This is an easy way to implement formal logic in your project without having to write code or use any external tools. It's also very flexible as it can handle different types of rules (laziness, completeness). I haven't found anything that would be considered negative about this software so far. There are some minor bugs with certain rule engines like "implicitness" but nothing serious enough to dislike. As mentioned above one could consider learning other languages such as Prolog which may provide better support when writing complex business applications using FOL. Using FOL we were able to create more complete models than our previous approaches relying solely on UML diagrams and textual specifications. The best thing about this software is that it has easy to use interface. It is free so there is no cost at all. It also supports multiple file formats such as PDF, DOCX, XLSX etc. I have used this software on my work station when preparing forms for my clients. I recommend using this software if you are looking for an easy to use software with support for multiple file formats. It was very helpful in preparing forms for my clients because it could easily be converted into different formats.

img 1 attached to Formalize review by Kendrick Breezy



Pros
  • Very simple user friendly GUI
  • Easy integration through Excel
  • Support various document format including MS Word Document.
  • Supports logical inference engine called implicitly mode where even empty premise leads us back full conclusion!
Cons
  • Can not run from desktop application directly(required server installation)
  • Not fully supported by Eclipse IDE