#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).
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).
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).
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).
query5(SID,SLN,R):-student(SID,"ZNEPB",SLN,_,_,_,_),student_course_plan(_,SID,_,R,"APPROVATO SENZA MODIFICHE").
query5(SID,SLN,R)?
#export(demo ,"dlv", "dlv", query5, query5).
Go Back