domains
cosas=informacion(persona,dia,hora,sala)
persona=symbol
dia=symbol
hora=symbol
sala=symbol
ramo=symbol
opcion=symbol
predicates
asignatura(ramo,cosas)
pantalla
eleccion(Opcion)
informacion1
informacion2
informacion3
informacion4
goal
pantalla.
clauses
pantalla:-makewindow(1,23,45,"INGENIERIA EN INFORMATICA",00,00,25,80),nl,
write(" INFORMACION ACADEMICA ESTUDIANTIL PARA ESTUDIANTES DEL NIVEL VII"),nl,nl,
write(" &. Asignaturas (1)"),nl,
write(" &. D¡as (2)"),nl,
write(" &. Docentes (3)"),nl,
write(" &. Horario (4)"),nl,
write(" &. Para salir del sistema digite cero (0)"),nl,nl,
write(" Ingrese el n£mero correspondiente a la Opcion: "),readln(Opcion),eleccion(Opcion).
eleccion(Opcion):-Opcion<>"1",Opcion<>"2",Opcion<>"3",Opcion<>"4",Opcion<>"0",pantalla.
eleccion(Opcion):-Opcion="1",informacion1.
eleccion(Opcion):-Opcion="2",informacion2.
eleccion(Opcion):-Opcion="3",informacion3.
eleccion(Opcion):-Opcion="4",informacion4.
eleccion(Opcion):-Opcion="0",exit.
eleccion(Opcion):-Opcion="1",
write(" Presionando Enter vuelve a la ventana de INGENIERIA EN INFORMATICA."),readln(_),pantalla.
eleccion(Opcion):-Opcion="2",
write(" Presionando Enter vuelve a la ventana de INGENIERIA EN INFORMATICA."),readln(_),pantalla.
eleccion(Opcion):-Opcion="3",
write(" Presionando Enter vuelve a la ventana de INGENIERIA EN INFORMATICA."),readln(_),pantalla.
eleccion(Opcion):-Opcion="4",
write(" Presionando Enter vuelve a la ventana de INGENIERIA EN INFORMATICA."),readln(_),pantalla.
informacion1:-makewindow(1,23,45,"ASIGNATURAS DEL NIVEL VII",00,00,25,80),nl,
write(" &. INSTRUCCIONES --> La asignatura debe ®®®®®®®®®®®®®®®®®¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯"),nl,
write(" ser escrita con min£scula, sin tilde ® Electivo de Seguridad Software ¯"),nl,
write(" y los espacios que existen entre am- ® Lenguajes Formales y Teor¡a de ¯"),nl,
write(" bas palabras deben ser unidas con el ® Aut¢matas ¯"),nl,
write(" gi¢n bajo (_). ® Simulaci¢n ¯"),nl,
write(" ® Taller de Redes ¯"),nl,
write(" ® Taller de Sistemas Expertos ¯"),nl,
write(" ®®®®®®®®®®®®®®®®®¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯"),nl,nl,
write(" Ingrese el nombre de la asignatura: "),readln(X),nl,asignatura(X,informacion(A,B,C,D)),
write(" &. ",X),nl,
write(" es dictada por el profesor ",A," el dia ",B),nl,
write(" desde las ",C," en la sala ",D),nl,nl,nl,fail.
informacion2:-makewindow(1,23,45,"DIAS DE LA SEMANA ACADEMICA",00,00,25,80),nl,
write(" &. INSTRUCCIONES --> El d¡a optado debe ®®®®®®®®®®®¯¯¯¯¯¯¯¯¯¯¯"),nl,
write(" debe ser escrito con min£scula y sin ® Lunes ¯"),nl,
write(" tilde. ® Martes ¯"),nl,
write(" ® Mi‚rcoles ¯"),nl,
write(" ® Jueves ¯"),nl,
write(" ® Viernes ¯"),nl,
write(" ®®®®®®®®®®®¯¯¯¯¯¯¯¯¯¯¯"),nl,nl,
write(" Ingrese el d¡a de la semana: "),readln(B),nl,asignatura(X,informacion(A,B,C,D)),
write(" &. ",B),nl,
write(" se dicta la asignatura ",X),nl,
write(" por el profesor ",A," desde las ",C," en la sala ",D),nl,nl,nl,fail.
informacion3:-makewindow(1,23,45,"DOCENTES DE NIVEL VII",00,00,25,80),nl,
write(" &. INSTRUCCIONES --> El profesor debe ®®®®®®®®®®®¯¯¯¯¯¯¯¯¯¯¯"),nl,
write(" ser escrito con min£scula, sin til- ® Francisco Poblete ¯"),nl,
write(" de y los espacios que existan entre ® Gast¢n Gonzalez ¯"),nl,
write(" ambas palabras deben ser unidas con ® Guido Salazar ¯"),nl,
write(" con el gui¢n bajo (_). ® Hector Baigorri ¯"),nl,
write(" ® Juan Mu¤iz ¯"),nl,
write(" ®®®®®®®®®®®¯¯¯¯¯¯¯¯¯¯¯"),nl,nl,
write(" Ingrese el nombre del profesor: "),readln(A),nl,asignatura(X,informacion(A,B,C,D)),
write(" &. ",A),nl,
write(" dicta la asignatura ",X),nl,
write(" el d¡a ",B," desde las ",C," en la sala ",D),nl,nl,nl,fail.
informacion4:-makewindow(1,23,45,"HORARIO NIVEL VII",00,00,25,80),nl,
write(" ÉÍÍÍÍÍÍÍÍÍÍÍËÍÍÍÍÍÍÍÍÍÍÍËÍÍÍÍÍÍÍÍÍÍÍÍÍËÍÍÍÍÍÍÍÍÍÍÍÍËÍÍÍÍÍÍÍÍÍÍÍÍÍËÍÍÍÍÍÍÍÍÍ»"),nl,
write(" ºHoras ºLunes ºMartes ºMi‚rcoles ºJueves ºViernes º"),nl,
write(" ÌÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍ͹"),nl,
write(" º08:15-09:35ºLibre ºLibre ºLibre ºLibre ºLibre º"),nl,
write(" ÌÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍ͹"),nl,
write(" º09:40-11:00ºLibre ºLibre ºLibre ºSist.ExpertosºT. Redes º"),nl,
write(" ÌÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍ͹"),nl,
write(" º11:05-12:25ºLibre ºSist.ExpertosºLibre ºSimulaci¢n ºT. Redes º"),nl,
write(" ÌÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍ͹"),nl,
write(" º12:30-13:50ºLibre ºSist.ExpertosºLibre ºSimulaci¢n ºLibre º"),nl,
write(" ÌÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍ͹"),nl,
write(" º14:00-15:20ºLibre ºLibre ºLibre ºSimulaci¢n ºLibre º"),nl,
write(" ÌÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍ͹"),nl,
write(" º15:25-16:45ºLibre ºSeguridad SW ºSeguridad SWºLibre ºLibre º"),nl,
write(" ÌÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍ͹"),nl,
write(" º16:50-18:10ºT. Redes ºSeguridad SW ºSeguridad SWºLibre ºLibre º"),nl,
write(" ÌÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍÍÍÍÍÍÎÍÍÍÍÍÍÍÍ͹"),nl,
write(" º18:15-19:35ºL. FormalesºL. Formales ºL. Formales ºLibre ºLibre º"),nl,
write(" ÈÍÍÍÍÍÍÍÍÍÍÍÊÍÍÍÍÍÍÍÍÍÍÍÊÍÍÍÍÍÍÍÍÍÍÍÍÍÊÍÍÍÍÍÍÍÍÍÍÍÍÊÍÍÍÍÍÍÍÍÍÍÍÍÍÊÍÍÍÍÍÍÍÍͼ"),nl,nl,fail.
asignatura(electivo_de_seguridad_software,informacion(juan_mu¤iz,martes,"15:25 a 16:45","302")).
asignatura(electivo_de_seguridad_software,informacion(juan_mu¤iz,martes,"16:50 a 18:10","302")).
asignatura(electivo_de_seguridad_software,informacion(juan_mu¤iz,miercoles,"15:25 a 16:45","104")).
asignatura(electivo_de_seguridad_software,informacion(juan_mu¤iz,miercoles,"16:50 a 18:10","lab2")).
asignatura(lenguajes_formales_y_teoria_de_automatas,informacion(francisco_poblete,lunes,"18:15 a 19:35","415")).
asignatura(lenguajes_formales_y_teoria_de_automatas,informacion(francisco_poblete,martes,"18:15 a 19:35","415")).
asignatura(lenguajes_formales_y_teoria_de_automatas,informacion(francisco_poblete,miercoles,"18:15 a 19:35","lab1")).
asignatura(simulacion,informacion(guido_salazar,jueves,"11:05 a 12:25","lab2")).
asignatura(simulacion,informacion(guido_salazar,jueves,"12:30 a 13:50","211")).
asignatura(simulacion,informacion(guido_salazar,jueves,"14:00 a 15:20","lab2")).
asignatura(taller_de_redes,informacion(gaston_gonzalez,lunes,"16:50 a 18:10","taller")).
asignatura(taller_de_redes,informacion(gaston_gonzalez,viernes,"09:40 a 11:00","taller")).
asignatura(taller_de_redes,informacion(gaston_gonzalez,viernes,"11:05 a 12:25","taller")).
asignatura(taller_de_sistemas_expertos,informacion(hector_baigorri,martes,"11:05 a 12:25","415")).
asignatura(taller_de_sistemas_expertos,informacion(hector_baigorri,martes,"12:30 a 13:50","lab1")).
asignatura(taller_de_sistemas_expertos,informacion(hector_baigorri,jueves,"09:40 a 11:00","lab2")).