逻辑思维序言
Logic Thinking Prolog
所以基于这样的想法：
Every man is mortal.
Socrates is a man.
So, Socrates is mortal.
序言中：
man(socrates).
mortal(X) :- man(X).
我的问题是...什么与上面的等价：
Every student loves work.
This is work.
Therefore, I love this work.
我知道这是初学者的东西，我只是对这里的逻辑思维有疑问。
Every student loves work. This is work. Therefore, i love this work.
这需要您是学生这一事实，但您并未声明这一点。
由于您的三胞胎缺少逻辑 link，有（至少）两个选项可以完成它：
1.
Every student loves work.
I am a student.
Therefore I love work.
2.
Every student loves work.
This is work.
Therefore every student loves it.
所以基于这样的想法：
Every man is mortal.
Socrates is a man.
So, Socrates is mortal.
序言中：
man(socrates).
mortal(X) :- man(X).
我的问题是...什么与上面的等价：
Every student loves work.
This is work.
Therefore, I love this work.
我知道这是初学者的东西，我只是对这里的逻辑思维有疑问。
Every student loves work. This is work. Therefore, i love this work.
这需要您是学生这一事实，但您并未声明这一点。
由于您的三胞胎缺少逻辑 link，有（至少）两个选项可以完成它：
1.
Every student loves work.
I am a student.
Therefore I love work.
2.
Every student loves work.
This is work.
Therefore every student loves it.