Building symbolic differential & integral calculus engine in Prolog | Dark Hacker News