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")).
