first order predicate logic

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