Assume we have the following knowledge base in a Prolog program: building(engineering, ev). building(business, mb). building(library, lb). building(classes, h). building(hr,fg). department(electrical, engineering). department(civil, engineering). department(finance, business). department(ibm-exams, lb). status(engineering, accredited). faculty(smith, electrical). faculty(walsh, electrical). faculty(smith, computer). facultyjones, civil). faculty(james, civil). faculty(davis, civil). faculty(X, Y):- department(Z, Y), faculty(X, Z). building(X, Y):- department(X, Z), building(Z, Y). status(X, Z) :- department(X, Y), status(Y,Z). faculty(X) :- faculty(X, ). Determine the type of each of the following queries (groundon-ground), and explain what will Prolog respond for each of these queries (write all the steps of unifications and resolutions for each query)? ? building(library, lb). ? status(finance, A). ? department(civil, Bussiness). ? faculty X, civil). ? faculty(smith, X). ? department(X, Y). ? faculty(X, civil), department(civil, Y). ? faculty(Smith). ? building, X). ? status(X, accredited), building(X, Y). ? status(_, X), building(X, Y). ? faculty(X), faculty(X, Y), department(Y, _). ? faculty(X), faculty(X, Y), !, department(Y,Z). ? faculty(X), !, faculty(X, _). ? department(X, _), 1+ faculty(, X). % note there is a cut (!) here % note there is a cut (!) here Assume we have the following knowledge base in a Prolog program: building(engineering, ev). building(business, mb). building(library, lb). building(classes, h). building(hr,fg). department(electrical, engineering). department(civil, engineering). department(finance, business). department(ibm-exams, lb). status(engineering, accredited). faculty(smith, electrical). faculty(walsh, electrical). faculty(smith, computer). facultyjones, civil). faculty(james, civil). faculty(davis, civil). faculty(X, Y):- department(Z, Y), faculty(X, Z). building(X, Y):- department(X, Z), building(Z, Y). status(X, Z) :- department(X, Y), status(Y,Z). faculty(X) :- faculty(X, ). Determine the type of each of the following queries (groundon-ground), and explain what will Prolog respond for each of these queries (write all the steps of unifications and resolutions for each query)? ? building(library, lb). ? status(finance, A). ? department(civil, Bussiness). ? faculty X, civil). ? faculty(smith, X). ? department(X, Y). ? faculty(X, civil), department(civil, Y). ? faculty(Smith). ? building, X). ? status(X, accredited), building(X, Y). ? status(_, X), building(X, Y). ? faculty(X), faculty(X, Y), department(Y, _). ? faculty(X), faculty(X, Y), !, department(Y,Z). ? faculty(X), !, faculty(X, _). ? department(X, _), 1+ faculty(, X). % note there is a cut (!) here % note there is a cut (!) here
