Add section Tools with SICStus Prolog