1a. Define the following terms as used in Logic Programming (4 Marks) i. Fact ii. Structured term iii. Arity iv. Predicate b. Describe each of the following variable quantifiers used in Logic Programming. (2 Marks) i. ? ii. ? c. Interpret the following Logic Expression (4 Marks) i. ?x (greaterThan(Y,X) & greaterThan(15,Y)) ii. ? descendent („Njeru?,?Njeri?) iii. ??X (parent(X,?Atieno?) & parent(X,?Kajwang?)) d. Justify the effect of the variable quantifier „?? by constructing a Truth table for each of the following expression given that X ranges over {4,15} and Y over {7,14} (5 Marks) i. greaterThan(Y,X) & greaterThan(12,Y) ii. ?X (greaterThanY,X) & greaterThan(12,Y)) e. Construct a resolution tree to depict the implementation of Backtracking Resolution Algorithm for the following scenario. (5 Marks)
Basic Facts: B1(x) Database:{2,3,4} B21(x) Database:{1,2,3} B22(x) Database:{1,3,9} B3(x) Database:{1,2,5,36}
Rules of Inference P1(x) :=B1(x) P2 (x) & B3(x) P2(x) :=B21(x) & B22(x) Verifier Goal: ?P1(1)

2a. Explain the term Implementation Hiding as a concept in object oriented paradigm. (1 Mark) b. Describe how object orientation facilitates the use of implementation hiding. (3 Marks) c. State the benefits of Implementation Hiding. (2 Marks) d. Differentiate between inheritance and polymorphism as some of the core elements of object oriented paradigm. (2 Marks) e. Describe how polymorphism and inheritance can be combined to enhance the maintainability of a software system. (2 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

Found something interesting ?

• On-time delivery guarantee
• PhD-level professional writers
• Free Plagiarism Report

• 100% money-back guarantee
• Absolute Privacy & Confidentiality
• High Quality custom-written papers

Related Model Questions

Feel free to peruse our college and university model questions. If any our our assignment tasks interests you, click to place your order. Every paper is written by our professional essay writers from scratch to avoid plagiarism. We guarantee highest quality of work besides delivering your paper on time.

Grab your Discount!

25% Coupon Code: SAVE25
get 25% !!