Added a fastAdder implementation in Prolog