การเขียนโปรแกรมและการใช้เหตุผล