a. Consider the following propositions:
? x: ?y: cat(x) ? fish(y) likes_to_eat (x,y)
Write the proposition for this statement. (4 Marks)
b. Describe each of the following architectural design techniques. (4 Marks)
i. Factoring
ii. Vertical portioning
c. i. What is a graph, give two practical examples of graph applications? (4 Marks)
ii. Consider the following pairs of nodes:
13, 21, 16, 24, 31, 19, 68, 65, 26, 32
Represent the pairs of nodes using binary Min Heap. (4 Marks)
d. Represent the specification of the following scenario in high order logic. (4 Marks)
The state space of a library system represents a member and book. A book is either on the shelf or
loaned to a member. (4 Marks)

For a custom-written paper on the above topic, place your order now!

What We Offer
• On-time delivery guarantee
• PhD-level professionals
• Automatic plagiarism check
• 100% money-back guarantee
• 100% Privacy and Confidentiality
• High Quality custom-written papers