处理器中实现了本文中用到的一系列算法，其中包括：规则修饰、逻辑程序的修饰、魔集转换、逻辑程序的分解、分解的魔集转换。

We have implemented a series of algorithm, which includes rule adornment, logic program adornment and factorization, magic transformation, factorizing magic transformation.

youdao

第3集：同情魔鬼：一个男孩莫名其妙的死亡导致简和莫拉怀疑他可能死于一次未遂的驱魔。

3: Sympathy for the Devil: a boys puzzling death leads Jane and Maura to suspect that he may have died during an attempted exorcism.

youdao

第2集：技巧和对待：驱魔师访问布瑞尔·克利夫帮助陷入困境的男孩。

2: Tricks and Treats: an exorcist visits Briarcliff to help a troubled boy.

youdao