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,
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
Step by Step Solution
3.46 Rating (153 Votes )
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started
An Introduction To Statistical Methods And Data Analysis
Authors: R. Lyman Ott, Micheal T. Longnecker
7th Edition
1305269470, 978-1305465527, 1305465520, 978-1305269477
