#import(demo,"dlv","dlv","SELECT MATRICOLA, COGNOME, NOME, DATA_NASCITA, LUOGO_NASCITA, PROVINCIA_NASCITA, INDIRIZZO_RECAPITO, NUMERO_CIVICO_RECAPITO, CAP_RECAPITO, CITTA_RECAPITO, PROVINCIA_RECAPITO, PREFISSO_RECAPITO, TELEFONO_RECAPITO, INDIRIZZO_RESIDENZA, NUMERO_CIVICO_RESIDENZA, CAP_RESIDENZA, CITTA_RESIDENZA, PROVINCIA_RESIDENZA, PREFISSO_RESIDENZA, TELEFONO_RESIDENZA, CODICE_FISCALE, TIPO_DIPLOMA, VOTO_DIPLOMA FROM studente",studente).
#import(demo,"dlv","dlv","SELECT CODICE, DESCRIZIONE FROM diploma_maturita",diploma_maturita).
#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(X1,X2,X3,X4,X5,X6,X7):-not studentCOMPL(X1,X2,X3,X4,X5,X6,X7),studentD(X1,X2,X3,X4,X5,X6,X7).
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).
studentD(X1,X2,X3,X4,X5,X6,X7):-diploma_maturita(Y,X7),studente(X1,X3,X2,A_1,A_2,A_3,A_4,A_5,A_6,A_7,A_8,A_9,X6,X5,A_10,A_11,X4,A_12,A_13,A_14,A_15,Y,A_16).
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).
query7(F,S):-course(CID,"RETI LOGICHE"),plan_data(SCID,CID,_),student(SID,F,S,"ROMA",_,_,_),student_course_plan(SCID,SID,_,_,_).
query7(F,S)?
#export(demo ,"dlv", "dlv", query7, query7).
Go Back