In this question, you are to write a definite-clause knowledge base for the design of custom video presentations.

Assume that the video is annotated using the relation segment(SegId, Duration,Covers)

where SegId is an identifier for the segment. (In a real application this will be enough information to extract the video segment.) Duration is the running time of the segment (in seconds). Covers is a list of topics covered by the video segment.

An example of a video annotation is the database segment(seg0, 10, [welcome]).

segment(seg1, 30, [skiing, views]).

segment(seg2, 50, [welcome, artificial intelligence,robots]).

segment(seg3, 40, [graphics, dragons]).

segment(seg4, 50, [skiing,robots]).

A presentation is a sequence of segments. Represent a presentation by a list of segment identifiers.

(a) Axiomatize a predicate presentation(MustCover, Maxtime, Segments)

that is true if Segments is a presentation whose total running time is less than or equal to Maxtime seconds, such that all of the topics in the list MustCover are covered by a segment in the presentation. The aim of this predicate is to design presentations that cover a certain number of topics within a time limit.
For example, the query ask presentation([welcome,skiing,robots], 90, Segs)
should return at least the following two answers (perhaps with the segments in some other order):
presentation([welcome,skiing,robots], 90, [seg0,seg4])
presentation([welcome,skiing,robots], 90, [seg2,seg1]).
Give the intended interpretation of all symbols used and demonstrate that you have tested your axiomatization (including finding all answers to your query) in AIPython (aipython.org) or Prolog. Explain briefly why each answer is an answer.

(b) Assuming you have a good user interface and a way to actually view the presentations, list three things that the preceding program does not do that you may want in such a presentation system. (There is no correct answer for this part. You must be creative to get full marks.)