first order predicate logic

تخصصی

[کامپیوتر] شکلی از منطق که در زبان برنامه نویسی PROLOGبکار می رود

پیشنهاد کاربران

بپرس