写完了一阶逻辑，介绍了AL语言的基础。下一步介绍AL家族及Tbox和Abox。