#logicprogramming

Some thoughts on how to teach Prolog. ~ Manuel V. Hermenegildo, Jose F. Morales, and Pedro Lopez-Garcia. #Prolog #LogicProgramming

Can logic programming be liberated from predicates and backtracking? ~ Michael Hanus. #LogicProgramming

SLASH: Embracing Probabilistic Circuits into Neural Answer Set Programming by Arseny Skryagin et al. including @kerstingAIML #Probability #LogicProgramming

Sweep: SWI-Prolog embedded in Emacs. #Prolog #LogicProgramming #Emacs

Prolog: The next 50 years. #Prolog #LogicProgramming

Collatz conjecture in Prolog. ~ Markus Triska. #Prolog #LogicProgramming

Interested in how Logic-Paradigms can be more user-oriented and user-friendly? Designing User Interfaces or #IDE for #LogicProgramming? Submit your thoughts and work to #IULP2019 collocated with #LPNMR2019! #programming #Usability #ArtificialIntelligence

ediprolog: Emacs does interactive Prolog. ~ Markus Triska. #Prolog #LogicProgramming #Emacs

After 50 years, logic programming, in its several variants, is still successfully used in many application domains. This book celebrates the 50 years since Prolog’s invention and includes 31 papers on Prolog’s present, future, and applications. #logicprogramming #prolog

[New Blog Post] Making a "MiniKanren" using Z3Py #python #minikanren #logicprogramming #smt #z3

Inductive logic programming at 30. ~ Andrew Cropper, Sebastijan Dumančić, Richard Evans, Stephen H. Muggleton. #ITP #MachineLearning #LogicProgramming

Reseña de «Education for logical thinking in the age of AI». #Logic #LogicProgramming #Prolog

The logic of logic programming. ~ Marc Denecker, David S. Warren. #Logic #Prolog #LogicProgramming

Modal logic S5 satisfiability in answer set programming. ~ Mario Alviano,a Sotiris Batsakis, George Baryannis. #Logic #ASP #LogicProgramming

Applications of inductive logic programming. ~ Ivan Bratko, Stephen Muggleton (1995). #ILP #LogicProgramming

Automating the generation of high school geometry proofs using Prolog in an educational context. ~ Ludovic Font et als. #Prolog #LogicProgramming #Math

Efficiently learning efficient programs. ~ Andrew Cropper. #PhDThesis #ILP #LogicProgramming #MachineLearning

Everything you need to know about Automated Reasoning #LogicProgramming #AutomatedReasoning

Types, modes and so much more – the Prolog way. ~ Manuel V. Hermenegildo, Jose F. Morales, Pedro Lopez-Garcia, and Manuel Carro. #Prolog #LogicProgramming

Programming prospect theory in Prolog. ~ I. Kenryo. #Prolog #LogicProgramming