Logic Programming

Ask about this topic

Overview

Logic programming studies how facts and rules can represent knowledge and support precise inference, with Prolog, Datalog, and answer set programming as major language families. Approaches range from improving solver efficiency and defining semantics for temporal, probabilistic, causal, and modular rules to learning rules with inductive or differentiable methods. Applications include legal reasoning, multiagent systems, databases, and neuro-symbolic tools that let language models delegate decisions to symbolic solvers. A central challenge is balancing expressive rules with tractable computation, while ensuring that learned or language-model-generated programs follow their intended semantics.

Latest papers

CardsList

36 papers4 papers in the last four weeks, against 2 the four weeks before. 0.0% of all new papers.

  1. sGLP: Simulating People with Stochastic Agents

    Oct 10, 2026Ehud ShapiroLogic ProgrammingHuman Behavior Simulation

    London School of Economics and Weizmann Institute of Science, UK and Israel

  2. Probing for Long-Horizon Deductive Reasoning Capabilities in Language Models with Prolog

    Oct 8, 2026Hadeel Al-Negheimish, Jasna Ilieva, Yoon KimLLM ReasoningLong-Horizon LLM Reasoning

    King Saud University · Massachusetts Institute of Technology

  3. Rule-Based Languages for Neurosymbolic AI

    Oct 5, 2026Stefania Dumbrava, Efthymia TsamouraNeuro-Symbolic AILogic Programming

    ENSIIE, SAMOVAR, Télécom SudParis, Inria, IRIF, France · Huawei Labs, United Kingdom

  4. WAMpy: Efficient Synthesis of Prolog Programs in Python

    Oct 2, 2026Dominik Magiera, Lukas Röhrig, Frank JäkelProgram SynthesisLogic Programming

    Centre for Cognitive Science & Institute of Psychology, Technische Universität Darmstadt, Germany

  5. Not What You Meant: Can LLMs Follow a Specified Negation Semantics?

    Sep 23, 2026Qiming Bao, Agnieszka Mensfelt, Michael J. Witbrock +1Nonmonotonic ReasoningReasoning Consistency in Language Models

    University of Auckland, New Zealand · Royal Holloway, University of London, United Kingdom

  6. Structured Four-Stage Legal Translation: From Natural-Language Traffic Rules to PROLOG

    Sep 17, 2026May Myo Zin, Wachara Fungwacharakorn, Ken Satoh +1Logic ProgrammingLegal NLP

    Center for Juris-Informatics, ROIS-DS, Tokyo, Japan

  7. Foundations of MT-PDCL: Measure-Theoretic Probabilistic Definite Clause Logic

    Aug 13, 2026Costin Bădică, Amelia BădicăProbabilistic LogicLogic Programming

    Department of Computers and Information Technology University of Craiova Craiova, Romania · Department of Business Informatics University of Craiova Craiova, Romania

  8. EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming

    Aug 3, 2026Kaustuv Mukherji, Jaikrishna Manojkumar Patil, Colton Payne +4Logic ProgrammingSoftware Vulnerability Detection

    Syracuse University · HRL Laboratories

  9. Distilling Answer Set Programming Theories from Large Language Models

    Jul 30, 2026Nelson Higuera Ruiz, Markus Hofmarcher, Claudiu Leoveanu-CondreiLogic ProgrammingLLM-Based Program Synthesis

    ExtensityAI, Vienna, Austria

  10. An Unofficial FastLAS Tutorial: A Programmer's Guide

    Jul 26, 2026Fabio Aurelio D'AsaroLogic ProgrammingInductive Logic Programming

    University of Verona, Italy · University College London, United Kingdom

  11. Reason Popper-ly: Patching In-Context Reasoning with Inductive Logic Programming

    Jul 25, 2026Zirong Chen, Meiyi MaReasoning Trace AnalysisReasoning Consistency in Language Models

    Department of Computer Science, Vanderbilt University, USA

  12. Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog

    Jul 23, 2026Bartolomeo BoglioloLogic ProgrammingLLM Reliability

  13. Logic Programming Semantics for Causal Processes

    Jul 23, 2026Felix WeitkämperLogic ProgrammingCausal Reasoning

    German University Of Digital Science Potsdam, Germany

  14. How Rules Represent Causal Knowledge: Causal Modeling with Probabilistic Logic Programming

    Jul 23, 2026Kilian Rueckschloss, Felix WeitkaemperProbabilistic LogicLogic Programming

    Eberhard Karls Universitaet Tuebingen · University of Tübingen Tübingen, Germany · German University of Digital Science +1

  15. A New Well-Supported Semantics for Description Logic Programs

    Jul 23, 2026Spencer Killen, Jia-Huai YouLogic ProgrammingAnswer Set Programming

    University of Alberta Alberta, Canada

  16. Case study: solving P-99 with LPTP and an LLM

    Jul 23, 2026Fred Mesnard, Thierry Marianne, Étienne Payet +1Logic ProgrammingLLM-Based Program Synthesis

    LIM, université de La Réunion, France · Université de Namur, Belgium

  17. Chess_db: A framework for working with large chess game datasets

    Jul 23, 2026Nicos Angelopoulos, Jan WielemakerLogic ProgrammingChess

    University College & Imperial College, London UK · University College & Imperial College London, UK · SWI-Prolog solutions +1

  18. Animation, Verification and Visualisation of Prolog Transition Systems with ProB

    Jul 23, 2026Jan Gruteser, Michael Leuschel, Katharina Engels +1Logic ProgrammingFormal Verification

    Heinrich Heine University Düsseldorf · Faculty of Mathematics and Natural Science, Institute of Computer Science, Heinrich Heine University Düsseldorf, Universitätsstr. 1, D-40225 Düsseldorf

  19. GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI

    Jul 23, 2026Ehud ShapiroLogic ProgrammingMulti-Agent Systems

    London School of Economics · London School of Economics and Weizmann Institute of Science

  20. Volition Elicitation: Operational Semantics for People and Their Machines

    Jul 10, 2026Idit Keidar, Ehud ShapiroMulti-Agent SystemsMulti-Agent Coordination

    London School of Economics and Weizmann Institute of Science, UK and Israel

  21. ADVENT: LLM-Driven Automatic Predicate Invention for ILP

    Jul 2, 2026Tingting Yu, Pei-Cing Huang, Chan Hsu +2Logic ProgrammingInductive Logic Programming

    Department of Information Management National Sun Yat-Sen University Kaohsiung, Taiwan

  22. The algebra of Krom logic programs

    Jun 14, 2026Christian AntićLogic Programming

    Vienna University of Technology Vienna, Austria

  23. PrologMCP: A Standardized Prolog Tool Interface for LLM Agents

    Jun 12, 2026Agnieszka Mensfelt, Adarsh Prabhakaran, Adrian Haret +2Logic ProgrammingSymbolic Reasoning

    Department of Computer Science, Royal Holloway, University of London, UK

  24. 2-ASP(Q) programs with weak constraints: Complexity and efficient implementation

    May 26, 2026Andrea Cuteri, Giuseppe Mazzotta, Francesco RiccaLogic ProgrammingCounterexample-Guided Refinement

    University of Calabria, Rende, Italy

  25. Parametric Modular Answer Set Programs Made Declarative

    May 21, 2026Jorge Fandinno, Yuliya Lierler, Torsten SchaubLogic ProgrammingAnswer Set Programming

    University of Nebraska Omaha, USA · University of Potsdam, Germany

  26. On Strong Equivalence Notions in Logic Programming and Abstract Argumentation

    May 14, 2026Giovanni Buraglio, Wolfgang Dvorak, Stefan WoltranLogic ProgrammingComputational Argumentation

    TU Wien, Austria

  27. Cplus2ASP: Computing Action Language C+ in Answer Set Programming

    May 10, 2026Joseph Babb, Joohyung LeeLogic ProgrammingCode Translation

    School of Computing, Informatics, and Decision Systems Engineering Arizona State University, Tempe, USA

  28. Weighted Rules under the Stable Model Semantics

    May 10, 2026Joohyung Lee, Yi WangLogic ProgrammingNonmonotonic Reasoning

    School of Computing, Informatics and Decision Systems Engineering Arizona State University, Tempe, USA

  29. ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming

    May 5, 2026Iman Sharifi, Peng Wei, Saber FallahLogic ProgrammingDifferentiable Programming

    Dept. of Mechanical and Aerospace Engineering, George Washington University, USA · Dept. of Mechanical Engineering Sciences, University of Surrey, UK

  30. BLAST: Benchmarking LLMs with ASP-based Structured Testing

    Apr 24, 2026Manuel Alejandro Borroto Santana, Erica Coppolillo, Francesco Calimeri +3Logic ProgrammingLLM Evaluation

    University of Calabria, Rende, Italy · ICAR-CNR, Rende, Italy · Artificial Intelligence LAB, DeMaCS, University of Calabria, Rende, Italy +1