2.11 What happens if we ask Prolog: ?- X = f(x). Should this request for matching succeed...
Question:
2.11 What happens if we ask Prolog: ?- X = f(x). Should this request for matching succeed or fail? According to the definition of unification in logic this should fail, but what happens according to our definition of matching in Section 2.2? Try to explain why many Prolog implementations answer the question above with: X = f(f(f(f(f(f(f(f(f(f(f(f(f(f( . . .
Fantastic news! We've Found the answer you've been seeking!
Step by Step Answer:
Related Book For
Artificial Intelligence In Power System Optimization
ISBN: 9781578088058
1st Edition
Authors: Weerakorn Ongsakul, Vo Ngoc Dieu
Question Posted: