TL;DR研究如何在逻辑编程语言中使用集合,包括引入的语言Alog、新语言Slog+和Vicious Circle Principle的替代形式,重点在于语义和知识表示。
Abstract
The paper continues the investigation of Poincare and Russel's vicious circle principle (VCP) in the context of the design of logic programming languages with sets. We expand previously introduced language Alog w