Prolog has basically nothing to do with calculus.