BiBiServ团队停止了TALP的在线服务。TALP不再在我们当前的服务器环境中运行，因为新硬件架构/操作系统升级。

TALP是一种自动生成逻辑程序终止证明的工具。它将一个模式良好的逻辑程序转换为术语重写系统（TRS），使得TRS的终止意味着逻辑程序根据Prolog的选择规则的终止。它使用CiME系统用于证明生成的TRS的终止。

在过去的十年中，逻辑程序的自动终止分析受到越来越多的关注。在其他方法中，提出了技术将一个模式良好的逻辑程序转换为TRS，从而终止TRS表示根据Prolog的选择规则终止逻辑程序。在【OHL:CLA:MAR:1999】结果表明，通过组合甘津格和沃尔德曼的变换【GAN:WAL:1993】变成确定性条件TRS进一步转换为TRS（首先由Chtourou和Rusinovitch在未出版的手稿中）产生了艺术与赞特玛[艺术：ZAN:1996]这三种转换同样强大。在大多数情况下，简化订单不足以证明通过两阶段转换获得的TRS。但是，如果使用依赖项对方法【艺术：GIE:2000】结合多项式解释的Arts和Giesl相反，文献中描述的大多数示例可以自动经验证的终止。

基于这些发现，我们实现了一个工具，用于证明逻辑程序自动运行。此工具包括一个前端，用于实现两阶段转换和后端CiME系统，用于证明终止实验表明，我们的工具可以与其他工具竞争基于复杂的基于规范的方法的工具（如TermiLog或TerminWeb）。