• 1. 图灵完备
• 2. code view
• 3. exec
• 4. 意义

1. 图灵完备

如何证明一个语言是否图灵完备，用这个语言实现一个图灵机应该就是最直接的方法了

https://www.metalevel.at/prolog/showcases/turing.pl

2. code view

3. exec

4. 意义