Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
本文集汇集第三届LPOP研讨会成果，围绕集合与逻辑规则等高级抽象，推动其进入通用编程实践。
2024-09-28 cs.PL
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)
本卷包含在第23届基于逻辑的编程环境方法研讨会（WLPE 2013）上提交的论文，该研讨会于2013年8月24日和25日在土耳其伊斯坦布尔举行，作为第29届逻辑编程国际会议（ICLP 2013）的卫星活动。
2013-08-22 cs.PL
Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006)
本卷包含在WLPE'06上提交的论文：2006年8月16日在美国华盛顿州西雅图喜来登酒店举行的第16届编程环境中基于逻辑的方法研讨会。它是作为ICLP'06（第22届逻辑编程国际会议）的卫星研讨会组织的。
2007-01-24 cs.PL
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)
本卷是由意大利博洛尼亚大学组织的第28届函数和逻辑编程国际研讨会（WFLP 2020）的预录，作为2020年程序设计语言博洛尼亚联合会议的一部分。函数和（约束）逻辑编程国际研讨会（WFLP）旨在汇集对函数编程，逻辑编程及其集成感兴趣的研究人员，学生和从业者。WFLP是一个活跃而友好的论坛，它是开放的，可以展示和讨论正在进行的工作，技术贡献，经验报告，实验，评论和系统描述。
2020-09-04 cs.PL
Logic programming in the context of multiparadigm programming: the Oz experience
Oz是一种多范式语言，支持逻辑编程作为其主要范式之一。多范式语言被设计为支持不同的编程范式（逻辑、函数、约束、面向对象、顺序、并发等）。同样轻松。本文有两个目标：在Oz中给出逻辑编程的教程，并展示逻辑编程如何自然地融入多范式编程的更广泛背景。我们的经验表明，有两类问题，我们称之为算法和搜索问题，逻辑编程可以帮助制定实际的解决方案。数学问题有已知的有效算法。搜索问题没有已知的有效算法，但可以用搜索来解决。Oz对逻辑编程的支持专门针对这两个问题类，使用每个问题类所需的概念。这与Prolog方法相反，Prolog方法用一组概念来针对两个类，这导致对每个类的支持不是最佳的。为了解释算法程序和搜索程序之间的本质区别，我们定义了Oz执行模型。这个模型包含了并发逻辑编程（committed-choice-style）和基于搜索的逻辑编程（Prolog-style）。与Horn子句语法不同，Oz有一个简单的、完全组合的、高阶的语法，它适应了语言的能力。最后，我们总结了从这项工作中吸取的教训，奥兹国的简史，以及奥兹国文学的许多切入点。
2002-08-20 cs.PL
Logic Programming with Macro Connectives
像Prolog这样的逻辑编程通常是顺序的，而且速度很慢，因为每个执行步骤只处理一个$micro$连接符。为了解决这个问题，我们建议使用$macro$连接词作为提高可读性和性能的手段。
2018-05-07 cs.PL
Reference Type Logic Variables in Constraint-logic Object-oriented Programming
约束逻辑面向对象的编程，例如使用Muli，促进了商业软件的集成开发，偶尔涉及找到约束逻辑问题的解决方案。面向对象特性的可用性要求将对象也用作逻辑变量，而不是仅限于基本类型的逻辑变量。目前的工作贡献了一个概念，引用类型的逻辑变量的约束逻辑面向对象的编程，考虑到任意类层次结构的程序编写的面向对象的语言。这个概念讨论了约束逻辑面向对象程序和引用类型逻辑变量之间的交互，特别是对逻辑变量的调用和访问，类型操作和等式。此外，它还提出了相应的执行环境如何处理这些交互的方法。
2019-03-01 cs.PL
Bounded Choice Queries for Logic Programming
在逻辑编程中，向目标和查询添加通用交互是一项重要任务。不幸的是，现有的逻辑语言只能通过$read$结构从用户处获取输入。我们建议添加一个新的交互式目标，以允许更多的控制和更多的指导用户的参与。我们说明我们的想法通过\muprolog，扩展的Prolog有界选择目标。
2013-08-03 cs.PL
From Logic to Functional Logic Programs
逻辑编程是一种灵活的编程范式，因为它使用了谓词而没有固定的数据流。为了用函数式编程的紧凑符号扩展逻辑语言，有各种各样的建议将可评估函数映射到谓词中，以便留在逻辑编程框架中。由于融合函数逻辑语言提供灵活，以及有效的评估策略，我们提出了一个相反的方法在本文中。通过将逻辑程序映射为函数式逻辑程序，并利用基于函数依赖关系推断的转换方法，提出了一种全自动转换方法，该方法既保持了逻辑程序设计的灵活性，又能将无限搜索空间缩减为有限搜索空间，从而提高了计算效率.
2022-05-13 cs.PL
Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry
逻辑编程有时被描述为关系编程：程序员使用约束系统指定和组合n元关系的范式。高级逻辑编程环境将提供抽象这些关系的工具，以转换、优化甚至验证逻辑程序的正确性。本次演讲将表明，这些概念，即关系，约束和抽象，原来也是重要的反向工程过程中，支持安全行业内的错误发现。
2009-03-13 cs.PL
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System
我们提出了一个实验系统强烈的启发miniKanren，实现顶部的HOL~光定理证明器的战术机制。我们的工具是在同一时间的机制，使逻辑编程风格的推理和计算的定理证明，和一个框架，用于编写逻辑程序，产生的解决方案，赋予一个正式的证明的正确性。
2020-07-09 cs.PL
Implementing a Library for Probabilistic Programming using Non-strict Non-determinism
本文介绍了PFLP，函数逻辑程序设计语言库里的概率编程库。它演示了函数逻辑程序设计语言的概念如何支持概率编程库的实现。事实上，函数逻辑和概率编程的范式是紧密相连的。也就是说，一个地区的语言特征存在于另一个地区，反之亦然。例如，从函数逻辑编程中已知的非确定性选择和调用时间选择的概念分别与概率编程中的随机记忆和概率选择相关并一致。我们将进一步看到，与标准的基于列表的实现相比，基于函数逻辑编程概念的实现在性能方面具有优势，甚至可以与成熟的概率程序设计语言竞争，我们通过几个基准测试来说明。逻辑程序设计理论与实践（TPLP）
2019-05-17 cs.PL
Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011
这些是在2011年CICLOPS上提交的论文的修订版，CICLOPS是与2011年ICLP同地举办的一个研讨会。
2011-12-21 cs.PL
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System
本文介绍了将WordNet集成到模糊逻辑程序设计系统中的技术。由于WordNet涉及的话，但不给他们之间的关系的分级信息，我们已经实施了标准的相似性措施和新的指令，允许接近方程连接两个单词生成的近似度。近似方程是关键的语法结构，除了弱统一算法之外，它还使这种程序设计语言中灵活的查询-应答过程成为可能。这一增加拓宽了模糊逻辑编程的范围，允许某些形式的词汇推理，并加强了自然语言处理的应用。逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）
2021-01-24 cs.PL
Typed SLD-Resolution: Dynamic Typing for Logic Programming
逻辑编程的语义基础通常分为两种不同的方法。操作语义，它使用SLD解析，证明方法，计算逻辑编程中的答案，和声明语义，它把逻辑程序看作公式，把它的语义看作模型。在这里，我们定义了一个新的操作语义，称为TLDD-解析，它代表类型化的SLD-解析，其中我们包括一个值“错误”，对应于在运行时检测到类型错误。为此，我们定义了一个新的类型统一算法。最后，我们证明了TSLD-决议的正确性方面的一个类型的声明语义。
2022-07-30 cs.PL
A Proof Theoretic Approach to Failure in Functional Logic Programming
如何从程序中提取负信息是逻辑程序设计中的一个重要问题。在这里，我们解决问题的功能逻辑程序，从证明理论的角度来看。我们工作的出发点是CRWL（Constructor based ReWriting Logic），它是一个成熟的函数逻辑编程理论框架，其基本概念是非严格非确定函数。我们提出了一个证明演算，CRWLF，这是能够推导出否定信息的CRWL程序。特别是，CRWLF能够证明CRWL内的复位有限失败。
2004-05-27 cs.PL
Logic Programming as Scripting Language for Bots in Computer Games -- Research Overview
本出版物是对作者在博士研究中进行的研究（称为Klabs -http://www.kappalabs.org）的总结，研究主题是逻辑编程作为第一人称射击（FPS）游戏中虚拟角色行为控制的脚本语言的应用。研究的目标是应用推理和知识表示技术来创建角色行为，从而提高玩家的参与度。论文的扩展摘要/完整版本，将在第30届逻辑编程国际会议（ICLP 2014）的博士联盟上发表，7月19日至22日，维也纳，奥地利
2014-05-15 cs.PL
Corps: A Core Calculus of Hierarchical Choreographic Programming
本文提出层次化编排编程概念，并设计了语言Corps，通过授权逻辑中的命题即类型解释，将数据所有权建模为模态，解决了通信非线性建模与逻辑对应问题。
2024-06-03 cs.PL
Modularity and Separate Compilation in Logic Programming
以模块化方式编写代码的能力对于构建大型程序很重要。在逻辑编程环境中，希望通过基于逻辑的设备实现此类功能。我们在这里描述了一种实现此目的的方法。在我们的方案中，一个模块对应于一个代码块，其外部视图是由签名介导的。因此，签名强加了一种形式的隐藏，通过谓词，函数和常量名称的存在量化在逻辑上解释。模块通过累积机制进行交互，累积机制转化为连接其中的子句，同时尊重签名引入的存在量词的范围。我们表明，这种简单的静态结构化命名空间的设备足以实现与代码范围相关的功能，谓词定义的动态控制早先被认为是必要的。我们提出的模块功能以前已经通过累积模块的编译时内联实现。此方法不支持单独编译。我们纠正这种情况下，每个不同的模块可以单独编译和内联可以实现一个后来的，互补的，同样有效的链接阶段。
2023-03-18 cs.PL
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming
在本文中，我们提出了一个明确的，非严格的表示搜索树的约束逻辑面向对象编程。我们的搜索树表示包括在应用程序执行过程中的非确定性和确定性行为。引入这样的表示便于使用各种搜索策略。为了证明我们的方法的适用性，我们将显式搜索树的虚拟机的约束逻辑面向对象的程序设计语言Muli。然后，我们示例性地实现了三种搜索算法，按需遍历搜索树：深度优先搜索，广度优先搜索和迭代深化深度优先搜索。特别是，最后两个策略允许一个完整的搜索，这是新颖的约束逻辑面向对象编程，并突出了我们的主要贡献。最后，我们使用几个基准比较实施的策略。
2019-08-27 cs.PL
Constraint Functional Logic Programming over Finite Domains
在本文中，我们提出了我们的建议，有限域上的约束功能逻辑编程（CFLP（FD））与懒惰的功能逻辑程序设计语言，无缝地体现有限域（FD）的约束。该建议通过结合函数和关系表示法、curried表达式、高阶函数、模式、部分应用程序、非确定性、惰性求值、逻辑变量、类型、域变量、约束组合和有限域约束，增加了有限域上约束逻辑编程（CLP（FD））的表达能力和能力。我们描述了该语言的语法、类型规则以及声明和操作语义。我们还描述了TOY（FD），CFLPFD（FD）的实现，并从编程的角度来看，我们的方法相对于CLP（FD）的比较，显示我们引入的新功能。最后，我们展示了一个性能分析，表明我们的实现相对于现有的CLP（FD）系统具有竞争力，并且明显优于更接近CFLP（FD）的方法。
2006-01-16 cs.PL
Coalgebraic Logic Programming: from Semantics to Implementation
共归纳定义，例如无限流的定义，通常可以用优雅的逻辑程序来描述，但是对于那些SLD-反驳没有价值的定义，因为SLD-推导会陷入无限循环。这样的定义引起了惰性共递归推导和并行性的问题，因为这样的逻辑程序的执行可以同时具有递归和共递归特性。观察语义学和共代数语义学已经被用来抽象地研究它们。方案拟订工作往往是单独进行的，而且通常是以执行为主导的。在这里，我们给出了一个连贯的语义为主导的帐户的问题，从抽象的范畴理论语义，发展coalgebra，自然产生的树，并着手实现一个新的方言，CoALP，逻辑编程，其特点是由看守懒惰corecursion和并行。
2013-12-23 cs.PL
Mutually Exclusive Modules in Logic Programming
逻辑编程传统上缺乏表达互斥模块的设备。我们通过采用$D_0 \& D_1$形式的选择合取模块来解决这个限制，其中$D_0, D_1$是Horn子句的合取，而$\&$是线性逻辑连接词。使用$D_0 \& D_1$ -- $exec(D_0 \& D_1,G)$ --求解目标$G$具有以下操作语义：$choose$是介于$exec(D_0,G)$和$exec(D_1,G)$之间的成功语义。换句话说，如果在求解$G$的过程中选择了$D_0$，则将丢弃$D_1$，反之亦然。因此，选择合取模块类可以捕获互斥模块的概念。
2015-06-16 cs.PL
Concolic Testing in Logic Programming
软件测试是软件行业中最流行的验证技术之一。令人惊讶的是，我们只能在逻辑编程的上下文中找到一些测试方法。在本文中，我们介绍了一个系统的方法，结合具体和符号执行的动态测试。我们的方法是全自动的，并保证完整的路径覆盖时，它终止。我们证明了我们的技术的一些基本属性，并通过原型实现说明其实际用途。
2015-07-20 cs.PL
Performing Fully Parallel Constraint Logic Programming on a Quantum Annealer
量子退火器利用量子效应来解决特定类型的优化问题。这种专用硬件的优势在于，它可以有效地并行考虑所有可能的解决方案，从而有可能超越经典计算系统。然而，尽管量子退火机最近已经商业化，但针对这些设备的高级编程模型相对较少。在这篇文章中，我们将展示如何将Prolog的一个子集编译成一个适合在量子退火机上执行的2-local Ising模型哈密顿量，该子集支持约束逻辑编程。特别是，我们描述了一系列的转换，可以应用到转换约束逻辑程序表示Prolog到一个可执行的形式，承担几乎没有相似之处的经典机器模型，但评估指定的约束，在一个完全并行的方式。我们评估了我们在1095量子位D-Wave 2X量子退火机上的努力，并描述了该方法的相关功能和缺点。逻辑程序设计理论与实践（TPLP）
2018-03-30 cs.PL
Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming
（约束）逻辑编程研讨会（WLP）是德国逻辑编程学会（Gesellschaft für Logische Programmierung e.V.，GLP），并汇集了对逻辑编程、约束编程、答案集编程以及数据库和人工智能等相关领域感兴趣的研究人员（不仅来自德国）。函数和（约束）逻辑编程国际研讨会（WFLP）旨在汇集对函数编程，逻辑编程及其集成感兴趣的研究人员，学生和从业者。讲习班有一个共同地点的传统，以促进对高级声明性程序设计语言和相关领域的基础、应用和组合感兴趣的社区之间的跨部门思想和经验交流。
2016-12-31 cs.LO cs.PL
The Logic Programming Paradigm and Prolog
这是一个关于逻辑编程和Prolog的教程，适合于熟悉命令式编程的学生的程序设计语言课程。
2001-07-12 cs.AI cs.PL
(Co)recursion in Logic Programming: Lazy vs Eager
CoALP（英语：CoAlgebraic Logic Programming）是逻辑编程的一种方言，旨在为逻辑编程中的递归和共递归函数带来更精确的编译时和运行时终止和生产力分析。它的第二个目标是将类似于函数定理证明器的保护惰性（共）递归引入逻辑编程。在本文中，我们解释了CoALP的懒惰特性，并将其与CoLP中的循环分析和急切执行进行了比较。最后，我们概述了未来的发展方向，在逻辑编程的守护（共）递归。
2014-05-20 cs.LO cs.PL
Expert Systems with Logic#. A Novel Modeling Framework for Logic Programming in an Object-Oriented Context of C#
IU International University of Applied Sciences（IU国际应用科学大学）
我们提出了一种新的方法如何逻辑编程的专家系统可以直接声明在一个面向对象的语言。
2022-05-16 cs.AI cs.PL
Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)
本卷包含2007年9月13日在葡萄牙波尔图举行的WLPE 2007：第17届编程环境中基于逻辑的方法研讨会上发表的论文。它是作为ICLP 2007的卫星研讨会举行的，ICLP 2007是第23届逻辑编程国际会议。
2007-12-19 cs.PL cs.SE
Logic Programming with Satisfiability
本文提出了一个Prolog接口的MiniSat可满足性求解器。具有可满足性的逻辑程序- ming结合了两种范式的优势：一方面将搜索问题编码为可满足性的逻辑编程，另一方面有效地求解SAT。这两者之间的协同作用暴露了一个编程范式，我们在这里提出的逻辑编程珍珠。为了说明逻辑编程与SAT解决我们给出了一个例子Prolog程序解决部分MAXSAT的实例。
2007-02-13 cs.AI cs.PL
A Survey of the Proof-Theoretic Foundations of Logic Programming
一些形式系统，如归结和最小模型语义，为逻辑编程提供了一个框架。在本文中，我们将调查使用结构证明理论作为替代基础。在过去的35年里，研究人员一直在使用这个基础来将逻辑编程从一阶经典逻辑的根源提升到直觉和线性逻辑的高阶版本。这些更具表现力的逻辑程序设计语言允许捕获有状态计算和丰富形式的抽象，包括高阶编程、模块化和抽象数据类型。术语级绑定是另一种抽象，在证明理论和这些扩展逻辑程序设计语言中，它们都得到了优雅而直接的处理。逻辑编程也激发了证明理论的新成果，例如涉及极性和聚焦证明的成果。这些最新的研究结果提供了一个高层次的手段，呈现前向链和后向链风格推理之间的差异。在证明论中验证逻辑编程也有助于识别它与函数式编程、演绎数据库和模型检验的联系和区别。
2021-10-30 cs.LO cs.PL
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types
余代数，霍恩子句逻辑编程和类型研讨会于2016年11月28日至29日在爱丁堡举行。该研讨会标志着EPSRC授予的类型推断的共代数逻辑编程的结束。Komendantskaya，赫瑞瓦特大学和J. Power，巴斯大学，英国。
2017-09-13 cs.LO cs.PL
Introduction to the 28th International Conference on Logic Programming Special Issue
Univ. di Udine（乌迪内大学）；CRACS（高级计算研究中心）；INESC-TEC（葡萄牙系统与计算机工程研究所-技术与科学）；Univ. do Porto（波尔图大学）
我们很自豪地介绍这期《逻辑编程理论与实践杂志》（TPLP）的特刊，致力于第28届逻辑编程国际会议（ICLP）的论文全文。ICLP会议于1982年在马赛开始，此后成为介绍和讨论逻辑编程领域工作的主要场所。
2012-10-15 cs.AI cs.PL
Towards Distributed Logic Programming based on Computability Logic
DongA University（东亚大学）
{ \em Computability logic}（CoL）是一个强大的计算模型，它将计算问题视为机器及其环境之间的博弈。在本文中，我们表明，CoL自然支持分布式控制的多智能体编程模型。具体地说，我们讨论了一个基于CoL的分布式逻辑编程模型（确切地说是CL 1），我们称之为CL 1 ^Ω。该模型的主要特点是支持Agent的$dynamic/evolving$知识库。事实证明，这种模型是实现通用AI和未来计算模型的一种有前途的方法。
2022-08-07 cs.AI cs.PL
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Alma项目的目标是设计一种强类型约束程序设计语言，它结合了逻辑和命令式编程的优点。该项目的第一阶段是设计和实现Alma-0，这是一种小型程序设计语言，为命令式编程框架内的声明式编程提供支持。它是通过扩展Modula-2的一个子集，由逻辑编程范式启发的少量功能获得的。在本文中，我们将讨论的基本原理设计的Alma-0，由此产生的混合编程框架的好处，以及目前的工作中添加约束处理能力的语言。特别是，我们讨论的逻辑和习惯变量的作用，约束存储和程序之间的相互作用，以及需要列表。
1999-07-19 cs.LO cs.PL
Nominal Logic Programming
名义逻辑是一阶逻辑的扩展，它为抽象语法的形式化和推理提供了一个简单的基础，模一致的重命名的绑定名称（即α-等价）。本文研究基于名义逻辑的逻辑程序设计。我们描述了一些典型的名义逻辑程序，并发展了这类程序的模型论、证明论和操作语义。除了确保实现的正确行为的兴趣，这些结果提供了一个严格的基础技术分析和推理的名义逻辑程序，我们通过例子说明。
2007-08-20 cs.LO cs.PL
Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01)
第十一届逻辑编程环境研讨会（WLPE'01）是该主题领域的一系列国际研讨会之一。它于2001年12月1日在塞浦路斯帕福斯举行，作为ICLP 2001的会后讲习班。会议上提交了八篇经过评审的论文。大多数论文都以某种方式涉及约束逻辑编程和软件开发工具。其他主题领域包括执行可视化，教学辅助工具（学习用户），软件维护（包括调试），并提供新的范例。
2001-11-22 cs.PL cs.SE
Proceedings 35th International Conference on Logic Programming (Technical Communications)
自1982年在马赛举行第一次会议以来，ICLP一直是展示逻辑编程研究的首要国际活动。在逻辑编程的所有领域寻求贡献，包括但不限于：基础：语义学，形式主义，非单调推理，知识表示。语言：并发，对象，协调，移动性，高阶，类型，模式，断言，模块，元编程，基于逻辑的领域特定语言，编程技术。声明式编程：声明式程序开发，分析，类型和模式推理，部分求值，抽象解释，转换，验证，验证，编译，分析，测试，执行可视化实现：虚拟机，编译，存储管理，并行/分布式执行，约束处理规则，制表，外部接口，用户界面。相关范例和协同作用：归纳和协同归纳逻辑程序设计、约束逻辑程序设计、答案集程序设计、与SAT、SMT和CSP求解器的交互、类型推断和定理证明的逻辑程序设计技术、论证、概率逻辑程序设计、与面向对象和函数式程序设计的关系。应用领域：数据库、大数据、数据集成和联合、软件工程、自然语言处理、Web和语义网、代理、人工智能、计算生命科学、教育、网络安全和机器人技术。
2019-09-17 cs.AI cs.LO cs.PL
Proceedings 36th International Conference on Logic Programming (Technical Communications)
自1982年在马赛举行第一次会议以来，ICLP一直是展示逻辑编程研究的首要国际活动。在逻辑编程和相关领域的所有领域征求贡献，包括但不限于：-基础：语义学，形式主义，集合编程，非单调推理，知识表示。- 声明式编程：推理引擎，分析，类型和模式推理，部分求值，抽象解释，转换，验证，验证，建模，分析，测试，基于逻辑的领域特定语言，约束处理规则。- 相关范例和协同作用：归纳和协同归纳逻辑程序设计、约束逻辑程序设计、与SAT、SMT和CSP求解器的交互、用于类型推断和定理证明的逻辑编程技术、论证、概率逻辑程序设计、与面向对象和函数式编程的关系、描述逻辑、神经符号机器学习、混合深度学习和符号推理。- 实施情况：并发和分布，对象，协调，移动性，虚拟机，编译，高阶，类型系统，模块，约束处理规则，元编程，外部接口，用户界面。- 应用领域：数据库、大数据、数据集成和联合、软件工程、自然语言处理、Web和语义网、代理、人工智能、生物信息学、教育、计算生命科学、教育、网络安全和机器人技术。
2020-09-19 cs.AI cs.LO cs.PL
Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)
本卷是第26届函数和逻辑编程国际研讨会（WFLP 2018）的预录。它是由程序委员会选出的在研讨会上发表的论文组成的。经过研讨会的讨论，项目委员会将选择一些论文邀请第二轮评审和选择的正式程序。
2018-10-01 cs.LO cs.PL
VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
University of Bologna（博洛尼亚大学）；KU Leuven（鲁汶大学）
我们提出了VAEL，神经符号生成模型集成变分自编码器（VAE）与概率逻辑（L）编程的推理能力。除了标准的潜在子符号变量，我们的模型利用概率逻辑程序来定义一个进一步的结构化表示，这是用于逻辑推理。整个过程是端到端的差异化。一旦经过训练，VAEL可以通过（i）利用神经组件中编码的先前获得的知识以及（ii）在结构化潜在空间上利用新的逻辑程序来解决新的看不见的生成任务。我们的实验提供了支持的好处，这种神经符号积分的任务泛化和数据效率。据我们所知，这项工作是第一个提出一个通用的端到端框架集成概率逻辑编程到一个深生成模型。
2022-05-25 cs.LG cs.PL
Proceedings 42nd International Conference on Logic Programming
介绍第42届国际逻辑编程会议论文集，涵盖理论基础等多领域主题，包含主轨道和最近发表研究轨道的论文，展示了逻辑编程研究成果。
2026-07-21 cs.LO cs.PL
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
University of Athens（雅典大学）；University of Szeged（塞格德大学）
可拓高阶逻辑程序设计是经典逻辑程序设计的推广。这种范式的一个重要特征是它保留了传统逻辑编程的所有众所周知的属性。在本文中，我们考虑在新的范式的背景下，否定的语义。利用非单调不动点理论的一些最新结果，我们证明了每一个带否定的高阶逻辑程序都有唯一的最小无穷值模型。通过这种方式，我们获得了第一个纯粹的模型论语义的否定在可拓高阶逻辑编程。使用我们的方法，我们解决了一个老的悖论，介绍了W。W. Wadge，以证明高阶逻辑编程的语义困难。
2014-05-15 cs.AI cs.LO cs.PL
The (Lazy) Functional Side of Logic Programming
将逻辑程序转换成功能程序的可能性一直是研究的课题。许多方法的共同点是，原始逻辑程序，为了被翻译，需要被良好地模态化，这导致了这样的共识，即这些程序可以被认为是逻辑程序的“功能部分”。因此，“复杂”逻辑变量、动态选择规则的可能性以及非良模程序的一般属性是逻辑程序的独有特征，这一点已被广泛接受。这并不完全正确，因为其中一些特性在惰性函数式语言中自然存在。我们通过定义一个适用于更广泛的逻辑程序的简单翻译，重新讨论了什么功能是逻辑编程范式所独有的老问题，并证明了目前的界限是不合理的限制。
2000-03-20 cs.LO cs.PL
An interactive semantics of logic programming
我们适用于逻辑编程的一些最近出现的想法，从该领域的减少为基础的通信系统，目的是提供证据的隐藏的相互作用和协调机制，规则的运作机制，这样的编程范式。语义框架，我们选择了我们的结果是瓦片逻辑，它的优点是允许一个统一的治疗目标和意见，并应用抽象的分类工具来证明结果。作为主要的贡献，我们提到的有限表示的抽象统一，和并发和协调的抽象语义逻辑编程的最常见的语义相一致。此外，拼块语义的组合性由标准结果保证，因为它减少了对与逻辑程序相关联的拼块系统享有拼块分解属性的检查。还讨论了处理约束系统的方法的扩展。
2001-07-17 cs.LO cs.PL
Finite-Choice Logic Programming
本文提出有限选择逻辑编程，用选择替代否定以支持多解，具备稳定模型语义的全部表达能力，并给出解空间探索算法及其实现 Dusa 语言，性能优于现有答案集求解器且扩展性更可预测。
2024-11-21 cs.LO cs.PL
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees
FASIL（“Fuzzy Aggregators and Similarity Into a Logic Language”的缩写）是一种模糊逻辑程序设计语言，具有隐式/显式真度注释、大量的连接词和相似性统一。FASIL集成并扩展了MALP（Multi-Adjoint Logic Programming，一种带有显式注释规则的模糊逻辑语言）和Bousi~Prolog（使用弱统一算法，非常适合灵活的查询应答）的功能。因此，它在一个框架中适当地管理相似性和真度，结合了两种语言的表达优势。本文介绍了FASILL的主要功能和实现细节。沿着该文件，我们描述了它的语法和操作语义，我们给出了线索的实施格模块和相似性模块，两个主要的构建块的新的编程环境，丰富了FLOPER系统在我们的研究小组开发。
2015-01-09 cs.LO cs.PL
Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics
近年来，回答集编程已经扩展到处理多值谓词。由此产生的形式主义允许建模的连续问题，优雅的ASP允许离散问题的建模，通过结合ASP与模糊逻辑的稳定模型语义。然而，与经典ASP的情况下，许多有效的求解器已被构造，迄今为止，没有有效的模糊答案集编程求解器。经典ASP的一种公知技术包括将ASP程序$P$转换为命题理论，该命题理论的模型精确地对应于$P$的答案集。在本文中，我们将展示如何将这一想法扩展到模糊ASP，铺平了道路，实现高效的模糊ASP求解器，可以利用现有的模糊逻辑推理。出现在逻辑编程理论与实践（TPLP）中。
2011-04-27 cs.LO cs.PL
Logic Programming with Extensible Types
Universidad Politecnica de Madrid（马德里理工大学）
本文提出了一种在类型化函数式编程语言中通过可扩展类型、合一算法和领域特定语言实现逻辑编程的方法，展示了其可行性和实用性。
2026-01-07 cs.LO cs.PL
Introduction to the 35th International Conference on Logic Programming Special Issue
Sabanci University（萨班哲大学）；Università di Perugia（佩鲁贾大学）；Universitat Politècnica de València（瓦伦西亚理工大学）；NVIDIA Corporation（英伟达公司）
我们很自豪地介绍这期特刊《逻辑编程理论与实践》（TPLP），专门介绍第35届逻辑编程国际会议（ICLP）接受的定期论文。ICLP会议于1982年在马赛开始，此后成为介绍和讨论逻辑编程领域工作的主要场所。正在考虑接受TPLP。
2019-08-10 cs.AI cs.LO cs.PL
Choice Disjunctive Queries in Logic Programming
逻辑程序设计中一个长期存在的研究问题是如何以逻辑的、高层次的方式处理割谓词。我们认为，这个问题可以通过采用线性逻辑和选择析取目标公式的形式$G_0 \add G_1$其中$G_0, G_1$的目标。这些目标具有以下预期语义：$choose$是真正的析取$G_i$并执行$G_i$，其中$i (= 0\ {\rm or}\ 1)$，而$discarding$是未选择的析取。请注意，在执行过程中只有一个目标可以保持活动。因此，这些目标使我们能够以高层次的方式指定相互排斥的任务。
2022-10-11 cs.LO cs.PL
Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016)
这是在2016年10月18日至21日在美国纽约举行的第32届逻辑编程国际会议上接受的论文全文列表。除了主要会议本身，ICLP还主办了四个会前研讨会，秋季逻辑编程学校和博士生联盟。全文的最终版本将发表在《逻辑编程理论与实践》（Theory and Practice of Logic Programming，TPLP）杂志的特刊上。我们收到了88份摘要提交，其中27篇论文被接受作为TPLP快速通信出版。被认为足够高质量的论文将在会议上发表，但不足以出现在TPLP中，将作为OASICS系列的技术通讯出版。15篇论文属于这一类。
2016-08-18 cs.LO cs.PL
Functional Logic Programming with Generalized Circular Coinduction
我们提出了一种方法，以适应功能逻辑编程处理推理coinductively解释的程序，以及归纳解释的程序。为了做到这一点，我们考虑一类有趣的对象，这种共归纳的解释，即正规条款。我们展示了如何通常的数据结构可以适应捕捉这些对象。我们采用Curry的操作语义来解释程序。我们用几个例子来说明这种方法，这些例子显示了我们的方法的工作原理和几种情况下，它可能是有用的。最后，我们建议如何声明性语义可以适当地适应。
2012-03-05 cs.LO cs.PL
