只是自娱。
说，小王、小张和小赵三个人是好朋友，他们中间其中一个下海经商，一个人考上了大学，一个人入伍参军。此外，已知：
（1）小赵的年龄比士兵的年龄大；
（2）大学生的年龄比小张的年龄小；
（3）小王的年龄和大学生的年龄不一样。
问，三人的身份各是什么？
答：转换已知条件的表达式：
（1）age(赵)>age(兵)==〉赵为生或商；
（2）age(生)<age(张)==〉张为兵或商；
（3）age(王)≠age(生)==〉王为兵或商。
由（2）(3)可知，王、张均非生，故赵为大学生；
继而由（1）(2)知，age(生)>age(兵)且age(生)<age(张)，故张必非兵，故张为商。
至此，得知王为士兵，张为商人，赵为大学生。
思考：
如何转换为代码语言表述出来？日后若得所解，必补而充之。
这只是我幼稚的思维语言的描述，期待自己有更多地进步。