Question: (65marks] 4. Using the algorithm(s) of your choice check whether the following pairs of literals are unifiable or not. For those pairs that are unifiable,

(65marks] 4. Using the algorithm(s) of your choice check whether the following pairs of literals are unifiable or not. For those pairs that are unifiable, find the most general unifier. (a) P(x, g(f(z,a))) and P(f(y.g(y)). g(y)). (b) Q(r, y. g(u), g(x)) and Q(f (y), f (=), 2, u)

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Mathematics Questions!

MUST BE CORRECT ANSWERS A small software company has the following simplified cashflow, funded by shareholders' equity of 20,000 and a bank overdraft of 5000: Invoiced money received 2 months after...

1. Introduction to Computer Architecture concepts; The MIPS R2000 architecture allows for up to four external coprocessors. Our local systems arIPS external coprocessors are used by describing, in...

COMPLETE ALL THE QUESTIONS 1) Make a version of X.32[7] where the element type is a template argument. [10] ( 2.5) Given an Itor class like the one in X.32[8], consider how to provide iterators for...

re Regular Languages and Finite Automata (a) Let L be the set of all strings over the alphabet {a, b} that end in a and do not contain the substring bb. Describe a deterministic finite automaton...

Briefly describe ASCII and Unicode and draw attention to any relationship between them. [3 marks] (b) Briefly explain what a Reader is in the context of reading characters from data. [3 marks] A...

Predictive text entry systems are familiar on touch screens and mobile phones. This question asks you to consider how the same principles might be used in a programming editor for creating Java code....

Let r and s be solutions to the quadratic equation x 2 b x + c = 0. For n N, define d0 = 0 d1 = r s dn = b dn1 c dn2 (n 2) Prove that dn = r n s n for all n N. [4 marks] (b) Recall that a commutative...

lup ] (d) Show how a generating (or "mother") wavelet (x) can spawn a family of "daughter" wavelets jk(x) by simple shifting and scaling operations, and explain the advantages of representing...

answer the question clearly You are building a flight-control system for which a convincing safety case must be made. Would you assign the tasks of safety requirements engineering, test case...

Comparative Programming Languages.Make sense of what certified influence all of the three terms is endeavoring to show and get a handle on what all of the going with pictures suggests, inside the...

In chain surveying tie lines are primarily provided A. to check the accuracy of the survey B. to take offsets for detail survey C. to avoid long offsets from chain lines D. to increase the number of...

Broadband adoption has grown exponentially in LAC over the last decade, with fixed broadband subscriptions growing at a compound annual growth rate of 76% between 2000 and 2010. Estimating the price...

Discuss alternative sources of finance ( e . g . , equity, debt, crowdfunding ) and investment opportunities.

A company is preparing completing their Cash Budget. The following data has been prepared for cash receipts and payments. January February March Cash receipts $1,061,200 $1,182,400 $1,091,700 Cash...