#import(demo,"dlv","dlv","SELECT CODICE, MATRICOLA, ORIENTAMENTO, DATA_PRESENTAZIONE, STATO, NOTE, PROPRESP, BASE, INDIRIZZO_A, INDIRIZZO_B FROM piano_studi",piano_studi).
#import(demo,"dlv","dlv","SELECT CODICE, DESCRIZIONE FROM orientamento",orientamento).
#import(demo,"dlv","dlv","SELECT CODICE, DESCRIZIONE FROM stato",stato).
#import(demo,"dlv","dlv","SELECT CODICE, CODICE_ESAME, NOME FROM dati_piano_studi",dati_piano_studi).
#import(demo,"dlv","dlv","SELECT CODICE, DESCRIZIONE, TIPO, ANNO_ESAME FROM esame_ingegneria",esame_ingegneria).
#import(demo,"dlv","dlv","SELECT CODICE, DESCRIZIONE FROM tipo_esame",tipo_esame).
#import(demo,"dlv","dlv","SELECT CODICE_FACOLTA, CODICE, DESCRIZIONE, ATTIVAZIONE FROM esame",esame).
#import(demo,"dlv","dlv","SELECT CODICE, DESCRIZIONE FROM esame_diploma",esame_diploma).
student_course_plan(X1,X2,X3,X4,X5):-not student_course_planCOMPL(X1,X2,X3,X4,X5),student_course_planD(X1,X2,X3,X4,X5).
plan_data(X1,X2,X3):-not plan_dataCOMPL(X1,X2,X3),plan_dataD(X1,X2,X3).
course(X1,X2):-courseD(X1,X2),not courseCOMPL(X1,X2).
courseD(X1,X2):-esame(A_1,X1,X2,A_2).
courseD(X1,X2):-esame_diploma(X1,X2).
student_course_planD(X1,X2,X3,X4,X5):-orientamento(Y1,X3),piano_studi(X1,X2,Y1,X4,Y2,A_1,A_2,A_3,A_4,A_5),stato(Y2,X5).
plan_dataD(X1,X2,X3):-dati_piano_studi(X1,X2,A_1),esame_ingegneria(X2,Y3,Y2,A_2),tipo_esame(Y2,X3).
query1(D):-course(E,D),plan_data(C,E,_),student_course_plan(C,"09089903",_,_,_).
query1(D)?
#export(demo ,"dlv", "dlv", query1, query1).
Go Back