armo
Dołączył: 14 Paź 2010 Posty: 40
Przeczytał: 0 tematów
Pomógł: 1 raz Ostrzeżeń: 0/5
|
Wysłany: Czw 18:29, 04 Lis 2010 Temat postu: Logiczne podstawy informatyki ćw |
|
|
Definicja wolneKsiazki zawiera element o którym nie mówiła p. Gawiejnowicz ale znalazłem na Wikipedii
Kod: |
% Author: Artur Mańko
% zad 4
%Zaproponuj prologową bazę danych o książkach w bibliotece, w której będą uwzględnione
%tytuły książek, ich sygnatury, dane o autorach, wydawnictwie, o wypożyczającym.
%Zdefiniować reguły dostępności poszczególnych książek, koniczności wysyłania monitów,
%ograniczenia wypożyczeń książek starych.
%Zaproponuj prologową bazę danych o książkach w bibliotece, w której będą uwzględnione
%tytuły książek, ich sygnatury, dane o autorach, wydawnictwie...
/* ksiazka( Tytul, Sygnatura, Autorzy, Wydawnictwo, RokWydania (liczba YYYY)) */
ksiazka( 'wstep do informatyki', 'A001', 'A. Ktokolwiek', 'UAM', 2001).
ksiazka( 'Szeregowanie zadań o zmiennych czasach wykonywania', 'A002', 'St. Gawiejnowicz', 'UAM', 2005).
ksiazka( 'Wszystko czerwone', 'A003', 'J. Chmielewska', 'Znak', 1990).
% ...o wypożyczającym.
/* wypozyczone( Co(sygnatura), Komu(nrIndeksu), Kiedy(data YYYYMMDD) */
wypozyczone( 'A002', 370650, '20101026' ).
wypozyczone( 'A001', 370651, '20101027' ).
zajeteKsiazki( Tytul, Sygnatura, Autorzy, Wydawnictwo, RokWydania ) :-
ksiazka( Tytul, Sygnatura, Autorzy, Wydawnictwo, RokWydania),
wypozyczone( Sygnatura, _, _ ).
% Zdefiniować reguły dostępności poszczególnych książek...
wolneKsiazki( Tytul, Sygnatura, Autorzy, Wydawnictwo, RokWydania ) :-
ksiazka( Tytul, Sygnatura, Autorzy, Wydawnictwo, RokWydania),
\+ zajeteKsiazki( Tytul, Sygnatura, Autorzy, Wydawnictwo, RokWydania ).
% ...koniczności wysyłania monitów,...
% podaje ksiazki wypozyczone przed ustalona data
% data jest tekstem w formacie YYYYMMDD
dawnoWypozyczone( DataPorownania, Tytul, Sygnatura, Autorzy, Wydawnictwo, RokWydania, Komu, Kiedy ) :-
ksiazka( Tytul, Sygnatura, Autorzy, Wydawnictwo, RokWydania),
wypozyczone( Sygnatura, Komu, Kiedy ),
DataPorownania @> Kiedy.
% ...ograniczenia wypożyczeń książek starych
stareKsiazki( RokPorownania, Tytul, Sygnatura, Autorzy, Wydawnictwo, RokWydania) :-
ksiazka( Tytul, Sygnatura, Autorzy, Wydawnictwo, RokWydania),
RokPorownania @> RokWydania.
|
Post został pochwalony 0 razy
|
|