1. Р (х, В, в) and P(A, y, z) 2. Q (Z, b) and Q(b, Y) 3. P (a, b, c) and Q(X, Y, z) 4. Р (X, а, X) and P(a, X, х) Which 2 of the 4 pairs above can be unified? A:1 and 2 B:2 and 3 C:3 and 4 D:1 and 3 E:2 and 4 F:1 and 4 Submit Answer Which of the following would fail because of an occurs check? A: p(A, B) and p(A, b) B: p(A, B) and p(f(a), b) C: p(f(A), B) and p(f(a), b) D: p(f(A,B) and p(f(a),b) Submit Answer

Computer Networking: A Top-Down Approach (7th Edition)
7th Edition
ISBN:9780133594140
Author:James Kurose, Keith Ross
Publisher:James Kurose, Keith Ross
Chapter1: Computer Networks And The Internet
Section: Chapter Questions
Problem R1RQ: What is the difference between a host and an end system? List several different types of end...
icon
Related questions
Question

This is in Prolog language

1. Р (х, В, в) and P(A, у, 2)
2. Q (Z, b) and Q(b, Y)
3. Р (а, Ь, с) and Q(X, Y, Z)
4. P (X, а, х) and P(a, X, х)
Which 2 of the 4 pairs above can be unified?
A:1 and 2
B:2 and 3
C:3 and 4
D:1 and 3
E:2 and 4
F:1 and 4
Submit Answer
Which of the following would fail because of an occurs check?
A: P(A, B) and p(A, b)
.в: p(А, В) and pffa), b)
C: p(f(A), B) and p(f(a), b)
D: p(f(A,B) and p(f(a),b)
Submit Answer
Transcribed Image Text:1. Р (х, В, в) and P(A, у, 2) 2. Q (Z, b) and Q(b, Y) 3. Р (а, Ь, с) and Q(X, Y, Z) 4. P (X, а, х) and P(a, X, х) Which 2 of the 4 pairs above can be unified? A:1 and 2 B:2 and 3 C:3 and 4 D:1 and 3 E:2 and 4 F:1 and 4 Submit Answer Which of the following would fail because of an occurs check? A: P(A, B) and p(A, b) .в: p(А, В) and pffa), b) C: p(f(A), B) and p(f(a), b) D: p(f(A,B) and p(f(a),b) Submit Answer
Expert Solution
steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Recommended textbooks for you
Computer Networking: A Top-Down Approach (7th Edi…
Computer Networking: A Top-Down Approach (7th Edi…
Computer Engineering
ISBN:
9780133594140
Author:
James Kurose, Keith Ross
Publisher:
PEARSON
Computer Organization and Design MIPS Edition, Fi…
Computer Organization and Design MIPS Edition, Fi…
Computer Engineering
ISBN:
9780124077263
Author:
David A. Patterson, John L. Hennessy
Publisher:
Elsevier Science
Network+ Guide to Networks (MindTap Course List)
Network+ Guide to Networks (MindTap Course List)
Computer Engineering
ISBN:
9781337569330
Author:
Jill West, Tamara Dean, Jean Andrews
Publisher:
Cengage Learning
Concepts of Database Management
Concepts of Database Management
Computer Engineering
ISBN:
9781337093422
Author:
Joy L. Starks, Philip J. Pratt, Mary Z. Last
Publisher:
Cengage Learning
Prelude to Programming
Prelude to Programming
Computer Engineering
ISBN:
9780133750423
Author:
VENIT, Stewart
Publisher:
Pearson Education
Sc Business Data Communications and Networking, T…
Sc Business Data Communications and Networking, T…
Computer Engineering
ISBN:
9781119368830
Author:
FITZGERALD
Publisher:
WILEY