logic-based languages | BriefGPT

关键词logic-based languages

搜索结果 - 1

基于 Datalog 的流推理语言的正式比较（扩展版）
通过比较 LARS 程序及 LDSR 语言的表达能力，本文找出了各自的限制条件并确定了它们可以相互表达的片段。
PDF2 years ago