图灵机

ASP（Answer Set Programming）是一种声明式编程语言，具有图灵完备性。