inference programming

[کامپیوتر] برنامه نویسی استنتاجی