. . . "In this and other embodiments of the invention, the method may be executed using a language such as Prolog." .