编程语言的逻辑推理

编程语言在不断发展进步。

 

我们现在使用的通用编程语言是没有逻辑推理功能的。

 

比如下面的java代码：

 

Father f=new Father("Zhang 1");

Son s=new Son("Zhang 1.1");

f.setSon(s);

 

那么，f知道自己的儿子是谁，逻辑上，根据此条件，那么s也应该知道自己的父亲是谁了。

 

然而，现在的通用编程语言却无法判断，于是，这引起了我对人工智能语言的兴趣，虽然现在我还没有学习人工智能，但是很感兴趣了。