受 Oz 启发的 Prolog 未来发展构想
编程语言
2023-02-02 v1
摘要
Prolog 和 Oz 都是以逻辑编程为核心的多范式语言。Oz 有一个显著的子集是 Prolog 的语法变体：带有绿色或蓝色剪枝以及 bagof/3 或 setof/3 的纯 Prolog 程序可直接翻译为 Oz。由于 Prolog 与 Oz 之间的这种紧密关系，我们提出 Oz 对逻辑编程的扩展可成为 Prolog 未来演进的灵感来源。我们阐释了三种扩展，即确定性逻辑编程、惰性并发函数式编程和纯函数式分布式计算。我们简要介绍这些扩展，并说明它们如何助力 Prolog 在未来 50 年中演进。
引用
@article{arxiv.2302.00558,
title = {Ideas for the future of Prolog inspired by Oz},
author = {Peter Van Roy and Seif Haridi},
journal= {arXiv preprint arXiv:2302.00558},
year = {2023}
}
备注
15 pages, 0 figures