Prolog et al. @PrologInfo

News, info, links, gossip, anything about Prolog, Constraint/(Inductive)Logic programming, Answer Set Programming, and beyond. A @llaisdy project. github.com/llaisdy/Prolog… Joined November 2013

Tweets

5K
Followers

587
Following

38
Likes

4K

Youngjin Kang @architsch

19 hours ago

Use linear algebra to make a game (Visit: thingspool.net/concepts-of-pl… ). This is Part 9 of the series, "Linear Algebra for Game Development". #GameEngine #IndieGame #GameDesign #GameMechanics #LinearAlgebra #MatrixAlgebra #ComputerScience #GameMath #GameAI #Prolog #DataDrivenDesign

0 0 1 51 0

Download Image

SPLC 2025 @splcconf

a day ago

Ferdinand Auerswald presents the research paper "Simplified Extensibility in the Universal Variability Language using Answer Set Programming" 🔗Full paper: doi.org/10.1145/374491…

0 1 2 137 1

Download Image

This, in turn was inspired by some work by @martinkl (leading researcher on CRDTs) on the topic. This, I also found in my Roam notes. Guess I forgot about this too. At the time, I just thought it a curiosity. speakerdeck.com/ept/data-struc…

0 1 3 107 2

Download Image

SEMANTiCS Conference @SemanticsConf

a day ago

Logic + finance + knowledge graphs. At #SEMANTiCS2025, we show how Datalog+/- reasoning scales in central banking, complements LLMs, and powers real-world financial applications.

1 1 4 196 2

Download Image

Nuliayuk @Nuliayuk

3 days ago

Neat. @arxiv has a new 'Logic in Computer Science' section under Computer Science. arxiv.org/list/cs.LO/rec… #Prolog

0 1 2 76 0

@sasagawa888 @KSasagawa888

2 days ago

I just published Beating SWI-Prolog: How Parallel N-Prolog Solves the Knight’s Tour in Seconds medium.com/p/beating-swi-…

0 2 4 90 0

PVLDB @pvldb

5 days ago

Vol:18 No:12 → Vadacode: A Logician-friendly IDE for Datalog+/- vldb.org/pvldb/vol18/p5…

0 1 9 817 3

Download Image

@sasagawa888 @KSasagawa888

4 days ago

I just published Elimination — Aiming for World-Class medium.com/p/elimination-…

0 2 2 95 0

Yilin Xia @yilin_xia

2 days ago

🚀 Excited to share that we’ll present “DeepGit: Promoting Exploration and Discovery of Research Software with Human-Curated Graphs” at DaSH Workshop VLDB 2025! 📄 Paper: vldb.org/2025/Workshops… 💻 Code: github.com/data-exp-lab/d… 🌐 Website:go.illinois.edu/deepgit

1 2 4 366 2

Download Image

Romulus @futurewa

6 days ago

@BasedBeffJezos Legislation written in the controlled natural language of Logical English is computable using any underlying declarative approach layered on Prolog github.com/LogicalContrac…

0 2 2 55 2

Colin Barrett (NEET arc) @cbarrett

a week ago

This Prolog book is completely free today. Consider picking it up!

@sasagawa888 @KSasagawa888

2 weeks ago

This Prolog book is completely free today. Consider picking it up!

3 4 16 732 8

Download Image

1 2 7 321 2

logtalk.org @LogtalkDotOrg

a week ago

Logtalk for VSCode 0.52.0 released with new features, usability improvements, and fixes. Requires Logtalk 3.93.0. Available at the VSCode Marketplace now. Open VSX Registry support for publishing is currently down. But you can always download and install the .vsix file manually.

0 1 1 120 0

john mullee 🇮🇪𓅞 @jmullee

2 weeks ago

@KSasagawa888 mitpress.mit.edu/9780262192552/…

0 1 2 62 1

Soumyadeep Biswas @Soumyadeep58881

2 weeks ago

🧠 Discovered SWISH Prolog today while on my React + DSA grind. Is it still worth learning? Where does it stand in AI today — career boost or just brain exercise? 🤔🚀Anyone?? Any Idea?? #100DaysOfCode #ReactJS #AI #Prolog #CodingJourney

1 1 2 119 0

Mike Sperber @sperbsen

2 weeks ago

The Call for the 2026 International Symposium on Functional and Logic Programming (FLOPS) is open - the symposium is May 26-28 in Akita, Japan. Deadline for the CfP is Dec 8 (abstracts) / Dec 16 (submissions). Send us your best on the best of both worlds! functional-logic.org/events/flops/2…

0 6 9 1K 2

@sasagawa888 @KSasagawa888

2 weeks ago

This is about my Prolog book. Due to a campaign, it will be free for two days—from August 30 to August 31. Please take this opportunity to enjoy it.

3 4 16 732 8

Download Image

Nattend @Nattend_CS

2 weeks ago

I had this question in my Prolog exam last year. The funny part is that I had to write my program on paper.

Reso ☕️ @Resorcinolworks

2 weeks ago

I had this question in my Prolog exam last year. The funny part is that I had to write my program on paper.

96 17 785 69K 269

0 1 1 134 2

@sasagawa888 @KSasagawa888

2 weeks ago

I think Lisp and Prolog should leverage their strengths in ways that Python and Ruby cannot. One of these strengths, I believe, is parallelism.

2 3 8 241 2

Sandeep Kumar @Sandeep_X47

2 weeks ago

🚀 Just dropped CTCTG – a multi-paradigm Travel Route Planner Project 🌍 🛠️ Tech Highlights: C → Imperative (CLI & input) C++ → OOP (Travel classes + JSON parsing) Python → Functional (data utilities) Prolog → Logic-based (queries) 🔗 Repo: github.com/Sandeep-X47/CT…

0 1 2 85 0

IJCAIconf @IJCAIconf

2 weeks ago

#IJCAI2025 Mario Alviano, Università della Calabria, delivering their talk #4895 Integrating Answer Set Programming and Large Language Models for Enhanced Structured Representation of Complex Knowledge in Natural Language at the Knowledge Representation and Reasoning (4/4)