{\em Computability logic} (CoL) is a powerful, mathematically rigorous computational model. In this paper, we show that CoL-web, a web extension to CoL, naturally supports web programming where database updates are involved. To be specific, we discuss an implementation of the AI ATM based on CoL (CL9 to be exact). More importantly, we argue that CoL-web supports a general AI and, therefore, is a good alternative to neural nets and deep learning. We also discuss how to integrate neural nets into CoL-web.

翻译：{emcompunity逻辑} (COL) 是一个强大的、数学上严格的计算模型。在本文中,我们显示Col-web(Col-web)是Col-web(Col-web)的网络延伸,自然地支持数据库更新的网络程序。具体地说,我们讨论根据Col(CL9)实施AI ATM(CL9)的问题。更重要的是,我们争辩说,Col-web(COL-web)支持一个通用的AI,因此,是神经网和深层学习的一个很好的替代物。我们还讨论如何将神经网纳入COL-web(COL-web) 。