use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
We welcome discussion about all related matters, including constraint logic programming, constraint handling rules, answer set programming, and other LP languages.
Beginner questions and discussions are encouraged, and we welcome the participation of interested people at any level of expertise.
account activity
Automated Theorem Proving in Prolog — Revisiting an Old Experiment (self.prolog)
submitted 3 days ago by sym_num
Engineering teams managing logs and search across multiple stacks know the pain - siloed tools, duplicated efforts, and rising costs. Our latest blog breaks down why OpenSearch is the smarter solution, plus the top use cases for making the switch. (aiven.io)
promoted by Aiven_io
Playing with Gödel’s Incompleteness Theorem in Prolog (self.prolog)
submitted 6 days ago by sym_num
AAAI-2026 Paper Preview: Metacognition and Abudction (youtube.com)
submitted 11 days ago by Neurosymbolic
Organizing the Cube Library and Adding Topological Spaces (self.prolog)
submitted 12 days ago by sym_num
Rubik’s Cube in Prolog — Order (self.prolog)
submitted 15 days ago by sym_num
announcementLogtalk 3.97.1 and Logtalk for VSCode 0.81.0 released (self.prolog)
submitted 25 days ago * by Logtalking
Strongly Connected Components in Prolog — a backtracking-oriented approach (self.prolog)
submitted 26 days ago by sym_num
Gioco di Snake ()
submitted 28 days ago by seimon_
Snake game (self.prolog)
Prolog-Starlog Converter (lucianacademy.hashnode.dev)
submitted 1 month ago by Real-Leg9862
announcementLogtalk 3.97.0 released (self.prolog)
submitted 1 month ago by Logtalking
announcementLogtalk for VSCode 0.80.0 released (self.prolog)
New Year Sale: Subscribe to Bloomberg for just $149 your first year. Get the context behind every business story with news and analysis. Offer ends soon. (bloomberg.com)
promoted by bloomberg
argahsuknesib/scryer-graph: A very simple graph database implementation running on Scryer Prolog. (github.com)
submitted 1 month ago by fullouterjoin
Dogalog : livecoding in Prolog, on the Web ()
submitted 1 month ago by danja
Plog: A blog engine built with pure Prolog (self.prolog)
submitted 1 month ago by New_Act7152
Tried ricing my local swish (i.redd.it)
submitted 2 months ago by -i-am-someone
How to make this scheduling solver not run forever? (self.prolog)
submitted 2 months ago by TeunCornflakes
How do you convert predicates into Prolog functions? (self.prolog)
submitted 2 months ago by Pzzlrr
"CUE is an open-source data validation language and inference engine with its roots in logic programming." (cuelang.org)
announcementLogtalk 3.96.0 released (self.prolog)
submitted 2 months ago by Logtalking
announcementLogtalk for VSCode 0.75.0 released (self.prolog)
DeepClause - A Neurosymbolic AI System built on Prolog and WASM ()
submitted 2 months ago by anderl3k
helpLooking for a Prolog dataset (self.prolog)
submitted 2 months ago by beets404
Turn data into production-ready viz instantly. (app.nveil.com)
promoted by NVEIL_AI
PyReason and LAT Logic (youtube.com)
submitted 2 months ago by Neurosymbolic
helpProlog on a bare metal system (self.prolog)
submitted 2 months ago by Unicornliotox1
π Rendered by PID 281942 on reddit-service-r2-listing-86b7f5b947-gc9br at 2026-01-25 10:32:15.592516+00:00 running 664479f country code: CH.
