El predicado posiblest que unifica t con el tiempo

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: los aventureros que se emprenderán en el viaje de investigación: 1. El predicado posibleS(T) que unifica T con el tiempo necesario para explorar todos los sectores. En caso de que exista unificación retorne la primera solución, en caso contrario T debe unificar con ‐1. Tome en cuenta que el recorrido no puede repetir sectores. 2. El predicado posibleC(T) que unifica T con el tiempo que tomaría recorrer todas las conexiones entre los sectores sólo una vez (sin tomar en cuenta el costo de los sectores). En caso de no existir un recorrido, T debe unificar con ‐1. GDLDP/rr.wh 3. El predicado maxsectors(S, T) que unifica S con el número máximo de sectores que pueden explorarse antes de que pasen T unidades de tiempo, en caso de no lograr esto, S debe unificar con ‐1. Tome en cuenta que tampoco pueden repetirse sectores. Ejemplo: Para el grafo de la figura se present...
View Full Document

Ask a homework question - tutors are online