logtalk

图灵完备语言 Turing-Complete Language

由 独自空忆成欢 提交于 2020-08-14 02:45:55
概述 如果一个计算机语言具有 图灵完备性（Turing Completeness） ，那么这个语言就是 图灵完备语言 （Turing-Complete Language）。 背景 艾伦·图灵 艾伦·麦席森·图灵 （Alan Mathison Turing，1912.6.23 - 1954.6.7）， 1 英国数学家、逻辑学家、密码学家和英国首位计算机科学家，被誉为计算机科学和人工智能之父。 2 他对计算机科学的发展有着很高的影响力，他用图灵机提供了算法和计算概念的形式化，图灵机可以被视为通用计算机的模型。 3 他的图灵测试对人工智能的发展，作出了重要的、典型的、具挑战性的和持久的贡献。 4 图灵机 在 1928 年第八届国际数学家大会上，德国数学家希尔伯特（David Hilbert，1862 - 1943）提出了关于数学的三个精辟问题： First, was mathematics complete ...（数学是完备的吗？） Second, was mathematics consistent ...（数学是一致的吗？） And thirdly, was mathematics decidable ?（数学是可判定的吗？） 希尔伯特的第三个问题又被称为判定性问题（Entscheidungsproblem）。为了证否这个命题，1936 年，图灵发表了一篇论文，题为《论可计算数

Prolog SWI : Logtalk, How do I load my own project files?

由 蹲街弑〆低调 提交于 2019-12-24 09:00:39
问题 so this week consisted of me installing Logtalk, one of the extensions for Prolog. In this case I'm using Prolog SWI, and I've run into a little snag. I'm not sure how to actually consult my own projects using Logtalk. I have taken a look at the examples that Logtalk comes with in order to understand the code itself, and in doing so I've been able to load them and execute them perfectly. What I don't understand though is what is actually going on when logtalk is loading a file, and how I can

Logtalk : what is the best way to run all test suites?

由 拟墨画扇 提交于 2019-12-23 17:22:02
问题 In Logtalk code examples, each example provides its own test suite which is runnable in a "standalone" mode (one test suite at once). But, as the title says, I'm interested in the best approaches of testing all test suites (all loaded objects inheriting lgtunit in my app) at once, and having one single summary of all tests execution at the end (total passed / skipped / failed). For example, in SWI-Prolog, run_tests/0 run all test-units. 回答1: For automation, there's a logtalk_tester Bash shell
订阅 logtalk