[کامپیوتر] برنامه نویسی منطقی - برنامه نویسی منطقی - روش نوشتن برنامه های کامپیوتری بر اساس بررسی ریاضی استدلال منطقی . برنامه نویسی منطقی در مدلسازی کامپیوتری تفکر بشری به کار می رود. برای نمونه، نگاه کنید به PROLOG .
