#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).
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).
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).
query4(SFN,SLN,COR,ADD,TEL,HSS):-student("09089903",SFN,SLN,COR,ADD,TEL,HSS).
query4(SFN,SLN,COR,ADD,TEL,HSS)?
#export(demo ,"dlv", "dlv", query4, query4).
Go Back