By developing a(n) .....,a business owner can launch program in a web brower.

Determine whether or not the following pairs of predicates are unifiable. If they are, give the most-general unifier and show th

Evgen [1.6K]

Answer:

a) P(B,A,B), P(x,y,z)

=> P(B,A,B) , P(B,A,B}

Hence, most general unifier = {x/B , y/A , z/B }.

b. P(x,x), Q(A,A)

No mgu exists for this expression as any substitution will not make P(x,x), Q(A, A) equal as one function is of P and the other is of Q.

c. Older(Father(y),y), Older(Father(x),John)

Thus , mgu ={ y/x , x/John }.

d) Q(G(y,z),G(z,y)), Q(G(x,x),G(A,B))

=> Q(G(x,x),G(x,x)), Q(G(x,x),G(A,B))

This is not unifiable as x cannot be bound for both A and B.

e) P(f(x), x, g(x)), P(f(y), A, z)

=> P(f(A), A, g(A)), P(f(A), A, g(A))

Thus , mgu = {x/y, z/y , y/A }.

Explanation:

Unification: Any substitution that makes two expressions equal is called a unifier.

a) P(B,A,B), P(x,y,z)

Use { x/B}

=> P(B,A,B) , P(B,y,z)

Now use {y/A}

=> P(B,A,B) , P(B,A,z)

Now, use {z/B}

=> P(B,A,B) , P(B,A,B}

Hence, most general unifier = {x/B , y/A , z/B }

b. P(x,x), Q(A,A)

No mgu exists for this expression as any substitution will not make P(x,x), Q(A, A) equal as one function is of P and the other is of Q

c. Older(Father(y),y), Older(Father(x),John)

Use {y/x}

=> Older(Father(x),x), Older(Father(x),John)

Now use { x/John }

=> Older(Father(John), John), Older(Father(John), John)

Thus , mgu ={ y/x , x/John }

d) Q(G(y,z),G(z,y)), Q(G(x,x),G(A,B))

Use { y/x }

=> Q(G(x,z),G(z,x)), Q(G(x,x),G(A,B))

Use {z/x}

=> Q(G(x,x),G(x,x)), Q(G(x,x),G(A,B))

This is not unifiable as x cannot be bound for both A and B

e) P(f(x), x, g(x)), P(f(y), A, z)

Use {x/y}

=> P(f(y), y, g(y)), P(f(y), A, z)

Now use {z/g(y)}

P(f(y), y, g(y)), P(f(y), A, g(y))

Now use {y/A}

=> P(f(A), A, g(A)), P(f(A), A, g(A))

Thus , mgu = {x/y, z/y , y/A }.

7 0

3 years ago

Write a filter that reads in a sequence of integers and prints the integers, removing repeated values that appear consecutively.

lara31 [8.8K]

Answer:

Following is the code for filter:

public class filter

{ public static void main(String[] args)

{ int x = StdIn.readInt();

System.out.print(" " + x + " ");

while(!StdIn.isEmpty())

{ int y = StdIn.readInt();

if(y != x)

System.out.print(" " + y + " ");

x = y;

}

Explanation:

A public class filter is used.
The main function will accept a single argument as string[], it is also known as java command line argument.
Now the Stdln.readInt is used to read the integers in the sequence and store it in integer x.
The value stored in variable x will be printed using System.out.print
Now unless the Stdln.readInt gets an empty value, check each value of sequence and store in variable y.
If y is not equal to previous value x, print it and shift the value of y into x.
Repeat the loop again.

i hope it will help you!

7 0

3 years ago

Read 2 more answers

Differentiate between Scope and Linkage

Lera25 [3.4K]

Answer: The difference between the scope and linkage is as follows:-

Scope of the variable is defined as the variable view from different program parts whereas the linkage is described as the link that is made between the variable and the declaration function having the common name.
Scope of variable describes about the existing time of the variable in the program whereas linkage is defined for the name of variable present in the program is available at all time .

6 0

3 years ago

Which type of portfolio might a young investor who is not afraid of risk choose?

Keith_Richards [23]

i think it would be the investment with high risk and high return such as Stocks.When investing in stock, investor analyze whether a specific company will be doing well in the time of investment (which will increase the market price of the stock) and take a profit from it.

7 0

3 years ago

Your network consists of a single Active Directory domain. Your company has recently merged with another company. The acquired c

solmaris [256]

Answer:

Option E is correct.

Explanation:

While the user's server forms of the specific domain Active Directory. His corporation also partnered with some firms recently. The obtained corporation seems to have a multi-domain Active Directory server for both areas, both domain operators use the following Windows Servers. This was assigned the responsibility of proposing improvements to the Active Directory system.

He needs users of all corporations will gain exposure with each other's services, however, he wants to reduce logistical activity to achieve. Thus, he would build a two-way forest relationship between both the two roots forest domains.

6 0

2 years ago