Practical usage of freeencal: An automated forward reasoning engine for general-purpose

Forward reasoning engine is a computer program to automatically draw new conclusions by repeatedly applying inference rules. An automated forward reasoning engine for general-purpose, named FreeEnCal, has been proposed and developed. Then, to improving its performance and generality, fast algorithms and a general reasoning algorithm are proposed and implemented, but separately. Until now, there is no practical implementation of FreeEnCal that are adopted those algorithms. This paper shows the practical implementation of FreeEnCal and its practical usage. We can expect to use the practical FreeEnCal for an alternative tool to prove something, an enumeration tool by using forward deduction, a web service of automated forward reasoning.