In this Paper, LEL is simply introduced, the resolution method based on LEL is presented,then a new AI language Called LELAIL based on this method and its machine implementation is also explored.

• 本文在简介制约逻辑的基础上,提出了基于制约逻辑的消解原理,并探讨了基于这一原理的人工智能语言及其机器实现。