可程序化行列邏輯
英文解釋:
  1. n.  pal