مسند (محمول) در پرولوگ Goal: predicates parent(bob, pat) Yes
{"Image DocumentName": "\u0645\u0633\u0646\u062f (\u0645\u062d\u0645\u0648\u0644) \u062f\u0631 \u067e\u0631\u0648\u0644\u0648\u06af Goal: predicates parent(bob, pat) Yes", "Image ImageDescription": "parent(bob, jim) No. parent(X, pat) X=bob. parent(X, ann), parent(X, pat) X=bob. parent(pam, X) X = bob. predicates. parent(symbol, symbol) male(symbol) female(symbol) clauses. parent(pam,bob). parent(tom,bob). male(tom). male(bob). female(pat). female(liz). 1.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}