Some aspects of symbolic integration via predicate logic programming
Henry Kanoui · ACM SIGSAM Bulletin · 1976
During the past years, various algebraic manipulations systems have been described in the literature. Most of them are implemented via "classic" programming languages like Fortran, Lisp, PL1 ... We propose an alternative approach: the use of Predicate Logic as a programming language.