Why did Prolog respond to the last goal as it did? Is Prolog saying that there are
Fantastic news! We've Found the answer you've been seeking!
Question:
Why did Prolog respond to the last goal as it did? Is Prolog saying that there are no X that are not human, that is, that all X are human? Why?||
Given only the following Prolog clause:
human (bob)
Prolog will respond as follows:
? - human (X).
X = bob
?- not (human (X)).
no
Related Book For
An Introduction to Statistical Methods and Data Analysis
ISBN: 978-1305269477
7th edition
Authors: R. Lyman Ott, Micheal T. Longnecker
Posted Date: