Questão de Informática

ŝĨĞƌĞŶƚĞƐŝŵƉůĞŵĞŶƚĂĕƁĞƐĚĂůŝŶŐƵĂŐĞŵĚĞƉƌŽŐƌĂŵĂĕĆŽWZK>K'ƉĞƌŵŝƚĞŵƉƌĞĚŝĐĂĚŽƐĐŽŵƉĂƌąŵĞƚƌŽƐ͕ ĂĐĞŝƚĂŵĂƐŽƉĞƌĂĕƁĞƐĚĞĐŽŶũƵŶĕĆŽĞĚŝƐũƵŶĕĆŽůſŐŝĐĂ͕ƵƟůŝnjĂŶĚŽ ŽƐƐşŵďŽůŽƐǀşƌŐƵůĂ;ĐŽŶũƵŶĕĆŽͿĞƉŽŶƚŽĞ ǀşƌŐƵůĂ;ĚŝƐũƵŶĕĆŽͿ͕ĞĂŶĞŐĂĕĆŽůſŐŝĐĂĐŽŵŽƉƌĞĚŝĐĂĚŽ not. ŽŶƐŝĚĞƌĞ ƋƵĞ Ƶŵ ƉƌŽŐƌĂŵĂĚŽƌ ƉƌŽƉŽnj ĂƐ ĐůĄƵƐƵůĂƐ ŵŽƐƚƌĂĚĂƐ Ă ƐĞŐƵŝƌ͕ ĚĞĮŶŝĚĂƐ Ğŵ ƵŵĂ ůŝŶŐƵĂŐĞŵ ĚĞ ƉƌŽŐƌĂŵĂĕĆŽĐŽŵŽWZK>K'͕ĐŽŵŽƉĂƌƚĞĚĂǀĞƌŝĮĐĂĕĆŽĚĞĐƌŝƚĠƌŝŽƐ ƉĂƌĂƐĞůĞĕĆŽĚĞĐĂŶĚŝĚĂƚŽƐĂƵŵĂĐŚĂƉĂ ĚĞƉƌĞƐŝĚĞŶƚĞĞǀŝĐĞͲƉƌĞƐŝĚĞŶƚĞĚĞƵŵĂĞŵƉƌĞƐĂ͘ƐƚĂƐĐůĄƵƐƵůĂƐ ĂƉƌĞƐĞŶƚĂŵĂƐƉƌĞŵŝƐƐĂƐƉĂƌĂĐŚĞŐĂƌăƐ ĐŽŶĐůƵƐƁĞƐselecionados͕2 desconsiderados e descartado͕ĂƉĂƌƟƌĚĂƉŽƐƐŝďŝůŝĚĂĚĞĚĂĞdžŝƐƚġŶĐŝĂĚĞĨĂƚŽƐŽƵ ƌĞŐƌĂƐĐŽŵŽŝĚĞŶƟĮĐĂĚŽƌsuperior. superior(jorge). superior(ana). selecionados(P,Q) :- superior(P), superior(Q). desconsiderados(P,Q) :- not(superior(P)); not(superior(Q)). descartado(P) :- not(superior(P)). ŽŶƐŝĚĞƌĂŶĚŽ ĂƉĞŶĂƐ ĂƐ ĐŽůŽĐĂĕƁĞƐ Ğ ĐůĄƵƐƵůĂƐ ĂĐŝŵĂ Ğ Ă ŚŝƉſƚĞƐĞ ĚĞ ŵƵŶĚŽ ĨĞĐŚĂĚŽ ;closed world ĂƐƐƵŵƉƟŽŶͿ͕ĂǀĂůŝĞĂƐĂĮƌŵĂĕƁĞƐĂƐĞŐƵŝƌ͘ /͘ WĂƌĂƚŽĚŽƐǀĂůŽƌĞƐĚŽƐƉĂƌąŵĞƚƌŽƐ P e QŽƉƌĞĚŝĐĂĚŽ͕ selecionadosƌĞƚŽƌŶĂƌĄƵŵǀĂůŽƌůſŐŝĐŽĨĂůƐŽ͘ //͘ WĂƌĂ ƚŽĚŽƐ ǀĂůŽƌĞƐ ĚĞ P e Q͕ ŽƐ ƉƌĞĚŝĐĂĚŽƐ selecionados e desconsiderados ƌĞƚŽƌŶĂƌĆŽ ǀĂůŽƌĞƐůſŐŝĐŽƐĚŝĨĞƌĞŶƚĞƐ͘ ///͘ ĐŽŶũƵŶĕĆŽĚŽƐƉƌĞĚŝĐĂĚŽƐ selecionados e desconsideradosƉĂƌĂƋƵĂŝƐƋƵĞƌǀĂůŽƌĞƐĚĞ͕ P e Q͕2 ƌĞƚŽƌŶĂƌĄƵŵǀĂůŽƌůſŐŝĐŽǀĞƌĚĂĚĞŝƌŽ͘ /s͘ WĂƌĂƋƵĂůƋƵĞƌǀĂůŽƌĚŽƉĂƌąŵĞƚƌŽ P͕ŽƉƌĞĚŝĐĂĚŽ descartadoƌĞƚŽƌŶĂƌĄƵŵǀĂůŽƌǀĞƌĚĂĚĞŝƌŽ͘ V. ĚŝƐũƵŶĕĆŽĚŽƐƉƌĞĚŝĐĂĚŽƐselecionados e desconsideradosƉĂƌĂƋƵĂŝƐƋƵĞƌǀĂůŽƌĞƐĚĞ͕ P e Q͕2 ƌĞƚŽƌŶĂƌĄƵŵǀĂůŽƌůſŐŝĐŽǀĞƌĚĂĚĞŝƌŽ͘ ĐŽƌƌĞƚŽĂƉĞŶĂƐŽƋƵĞƐĞĂĮƌŵĂĞŵ