Prolog
Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。
1972年法国科莫劳埃小组为了提高归结法的执行效率，研制出一个定理证明程序的程序执行器，取名为PROLOG(Programming In Logic)，标志着第一个逻辑程序设计语言PROLOG的诞生。1974年及以后，R.科瓦尔斯基进一步从谓词逻辑的HORN子句的角度阐明PROLOG的理论基础，系统地提出逻辑程序设计的思想。
该标签下暂无文章
最新提问
systemd-nspawn与unshare区别？
Firejail、Bubblewrap沙箱与docker、podman容器区别？
如何访问unshare -n -- python3 -m http.server 8000创建的网站url？
linux中如何限制进程执行非法的系统调用命令，例如reboot 删除等等？
pivot_root与chroot有啥区别？
linux中如何限制进程使用cpu、内存、网络的最大值？
用户态沙箱、硬件隔离、namespace + cgroups的隔离有啥不同？
OverlayFS、AUFS 、 Btrfs的区别是啥？
linux上各种Namespace有啥作用？
linux体积最小最精简的版本是多大？