An interpreter for the Boolean derivative

摘要

We describe some recursive functions of an algorithm to obtain the Boolean derivative with recursion using list processing functions into Prolog.