editionAfterYear/2 — cărți cu ediții după un an — Programare Logică și Funcțională

Exerciții › Șablon parțial (2026-04-22), Subiectul I c) [3 puncte]

editionAfterYear/2 — cărți cu ediții după un an

Șablon parțial (2026-04-22), Subiectul I c) [3 puncte] medium findall / bagof / setof (generate-and-test)Fapte, reguli, baze de cunoștințe

Determinați lista tuturor cărților, însoțite de numele autorului, care au cel puțin o ediție după un anumit an primit ca argument (inclusiv anul primit). Definiți predicatul editionAfterYear/2 care primește un an și returnează lista tuturor perechilor (carte, autor) cerute.

?- editionAfterYear(2000, Result).
Result = [('The Road to Reality','Roger Penrose'),
          ('Analysis I','Terence Tao'),
          ('Linear Algebra Done Right','Terence Tao')]

Hint: iterează peste editions/4, filtrează după an, apoi pentru fiecare BookId caută titlul și autorul.

Te-ai blocat?

editor soluție

fields(1, 'Mathematics').
fields(2, 'Computer Science').
fields(3, 'Philosophy').
fields(4, 'Physics').
fields(5, 'Linguistics').

authors(1, 'Donald Knuth', 'Stanford University').
authors(2, 'Bertrand Russell', 'University of Cambridge').
authors(3, 'Noam Chomsky', 'MIT').
authors(4, 'Roger Penrose', 'University of Oxford').
authors(5, 'Terence Tao', 'University of California, Los Angeles').

publishers(1, 'Springer', 'Germany').
publishers(2, 'MIT Press', 'USA').
publishers(3, 'Cambridge University Press', 'UK').
publishers(4, 'Oxford University Press', 'UK').
publishers(5, 'Addison-Wesley', 'USA').

books(101, 'The Art of Computer Programming', 1, 5, 2).
books(102, 'Principia Mathematica', 2, 3, 1).
books(103, 'Syntactic Structures', 3, 2, 5).
books(104, 'The Road to Reality', 4, 4, 4).
books(105, 'Analysis I', 5, 1, 1).
books(106, 'Modern Quantum Mechanics', 4, 1, 4).
books(107, 'Formal Semantics and Logic', 3, 3, 5).
books(108, 'Linear Algebra Done Right', 5, 5, 1).

editions(201, 101, 1, 1968).
editions(202, 101, 2, 1973).
editions(203, 102, 1, 1910).
editions(204, 102, 2, 1927).
editions(205, 103, 1, 1957).
editions(206, 104, 1, 2004).
editions(207, 105, 1, 2006).
editions(208, 106, 1, 1995).
editions(209, 107, 1, 1971).
editions(210, 108, 3, 2017).

% editionAfterYear(Year, Result) :- ...

fields(1, 'Mathematics').
fields(2, 'Computer Science').
fields(3, 'Philosophy').
fields(4, 'Physics').
fields(5, 'Linguistics').

authors(1, 'Donald Knuth', 'Stanford University').
authors(2, 'Bertrand Russell', 'University of Cambridge').
authors(3, 'Noam Chomsky', 'MIT').
authors(4, 'Roger Penrose', 'University of Oxford').
authors(5, 'Terence Tao', 'University of California, Los Angeles').

publishers(1, 'Springer', 'Germany').
publishers(2, 'MIT Press', 'USA').
publishers(3, 'Cambridge University Press', 'UK').
publishers(4, 'Oxford University Press', 'UK').
publishers(5, 'Addison-Wesley', 'USA').

books(101, 'The Art of Computer Programming', 1, 5, 2).
books(102, 'Principia Mathematica', 2, 3, 1).
books(103, 'Syntactic Structures', 3, 2, 5).
books(104, 'The Road to Reality', 4, 4, 4).
books(105, 'Analysis I', 5, 1, 1).
books(106, 'Modern Quantum Mechanics', 4, 1, 4).
books(107, 'Formal Semantics and Logic', 3, 3, 5).
books(108, 'Linear Algebra Done Right', 5, 5, 1).

editions(201, 101, 1, 1968).
editions(202, 101, 2, 1973).
editions(203, 102, 1, 1910).
editions(204, 102, 2, 1927).
editions(205, 103, 1, 1957).
editions(206, 104, 1, 2004).
editions(207, 105, 1, 2006).
editions(208, 106, 1, 1995).
editions(209, 107, 1, 1971).
editions(210, 108, 3, 2017).

editionAfterYear(Year, Result) :-
    findall((Title, AuthorName),
            (editions(_, BookId, _, EdYear),
             EdYear >= Year,
             books(BookId, Title, AuthorId, _, _),
             authors(AuthorId, AuthorName, _)),
            Result).

Tastează o interogare (ex. father_of(sandra, X).) și apasă Enter — sau apasă pe un caz de test de mai jos.

Cazuri de test (1 — apasă pe unul ca să îl rulezi, sau Verifică pentru toate)

editionAfterYear(2000, Result). așteptat: Result = [('The Road to Reality','Roger Penrose'),('Analysis I','Terence Tao'),('Linear Algebra Done Right','Terence Tao')]