Documente Academic
Documente Profesional
Documente Cultură
clauses
fillDatabase() :-
assert(person("1", "John", "85", "185", "110")),
assert(person("2", "Thomas", "75", "190", "150")),
assert(person("3","Anna", "65", "175", "123")),
assert(person("4", "Lidy", "55", "160", "135")),
stdIO::write("Baza de date a fost incarcata"), stdIO::nl.
saveDatabase() :-
file::save("personDB.txt", personDB),
stdIO::write("Baza de date a fost salvata in fisierul personDB.txt"), stdIO::nl.
class predicates
consultDatabase : () procedure.
clauses
consultDatabase() :-
file::consult("personDB.txt", personDB),
stdIO::write("Inregistrarile au fost adaugate din fisierul perso
nDB.txt"), stdIO::nl.
class predicates
fillDatabase : () procedure.
clauses
fillDatabase() :-
assert(person("1", "John", "85", "185", "110")),
assert(person("2", "Thomas", "75", "190", "150")),
assert(person("3","Anna", "65", "175", "123")),
assert(person("4", "Lidy", "55", "160", "135")),
stdIO::write("Baza de date a fost incarcata"), stdIO::nl.
prof. dr. ing. Cornelia Gyorodi 13
Exemplu (continuare)
class predicates
listDatabase : () procedure.
clauses
listDatabase() :-
person(ID, Name, Weight, Length, IQ),
stdIO::write("ID: ", ID, ", Name: ", Name, ", Weight: ", We
ight, ", Length: ", Length, ", IQ: ", IQ),
stdIO::nl,
fail.
listDatabase().
clauses
addPerson(Name, Weight, Length, IQ) :-
findAll(ID, person(ID, _, _, _, _), IDList),
NewID = toString(toTerm(maximum(IDList)) + 1),
assertz(person(NewID, Name, Weight, Length, IQ)),
stdIO::write("Persoana ", Name, " a fost adaugata cu ID: ",
NewID), stdIO::nl.
clauses
saveDatabase() :-
file::existFile("personDB.txt"), !,
file::delete("personDB.txt"),
file::save("personDB.txt", personDB),
stdIO::write("Baza de date a fost salvata in fisierul personD
B.txt"), stdIO::nl.
saveDatabase() :-
file::save("personDB.txt", personDB),
stdIO::write("Baza de date a fost salvata in fisierul personD
B.txt"), stdIO::nl.
prof. dr. ing. Cornelia Gyorodi 16
Exemplu (continuare)
class predicates
consultDatabase : () procedure.
clauses
consultDatabase() :-
file::consult("personDB.txt", personDB),
stdIO::write("Inregistrarile au fost adaugate din fisier
ul personDB.txt"), stdIO::nl.