at（我，书桌）at（书桌，我家）at（汽车，我家）at（我家，城市）at（机场，城市）
● 我们还可以使用谓词 at 来定义一些新的规则，如令谓词“ go(x, y, z)”表示“从 x 通过 z 的方式到达 y”，即以下式子：
$$
\mathrm { d i d } ( \mathrm { g o } ( x , y , z ) ) { \to } \mathrm { a t } ( x , y )
$$
● 那么代表“步行可达”和“驾车可达”含义的谓词“ walkable”和“drivable”就可以这样来定义：
● 然后用这些规则进一步定义两个事实：“家附近是可以走路到达的”与“城市里则需要开车到达”：
● 再定义一个谓词“ canachult”表示“如果x 可以进行y 动作，就可以通过完成y 来获得 $z ^ { \dprime }$ ”，即：
$$
( x \to \mathrm { c a n } ( y ) ) , ( \mathrm { d i d } ( y ) \to z ) \to \mathrm { c a n a c h u l t } ( x , y , z )
$$
● 显然，canachult 也是具有传递性的，如果x 可以通过y 动作来得到z，z又可以通过 u 动作来得到 v，那么，x 依次经过y、u 动作就可以得到 $\nu _ { \mathrm { ~ o ~ } }$ 如果使用谓词“ prog(y, u)”来表示依次完成 y、u 动作的话，上面这句话可以用谓词逻辑表示为：
第 3 章 符号主义学派
79