ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. Implementation: Compilation, Virtual machines, Memory management, Parallel and Distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cyber-security, Robotics, Education.

中文翻译：

---

第 37 届逻辑编程国际会议（技术通信）论文集

ICLP 是展示逻辑编程研究的首要国际活动。在逻辑编程的所有领域都寻求对 ICLP 2021 的贡献，包括但不限于：基础：语义、形式主义、非单调推理、知识表示。语言问题：并发、对象、协调、移动性、高阶、类型、模式、断言、模块、元编程、基于逻辑的特定领域语言、编程技术。编程支持：程序分析、转换、验证、验证、调试、分析、测试、执行可视化。实现：编译、虚拟机、内存管理、并行和分布式执行、约束处理规则、表格、外部接口、用户接口。相关范式和协同作用：归纳和共归纳逻辑编程，约束逻辑编程、答案集编程、与 SAT、SMT 和 CSP 求解器的交互、定理证明、论证、概率编程、机器学习。应用：数据库、大数据、数据集成和联邦、软件工程、自然语言处理、Web 和语义网络、代理、人工智能、计算生命科学、网络安全、机器人、教育。