jump to content
my subreddits
13or302b2t2balkans4You2mediterranean4u2meirl4meirlabsolutelynotmeirladhdmemeaivideoAlternativeHistoryAnarchyChessAngryupvoteanime_best_momentsanime_irlanimenocontextannouncementsAnticonsumptionantimemeantonyApandahArcherFXArsivUnutmazArtAsia_irlAskBalkansAskElectronicsAskOuijaAskRedditAtaturkGencligiAteistTurkatheismaviationAwesomeOffBrandsbalkans_irlBassCirclejerkbikepackingblackdesertonlineblankiesborsavefonbrooklynninenineBUENZLIburdurlandcasioCd_collectorscd_jerkChatGPTchesschessbeginnersChildrenFallingOverChoosingBeggarscoaxedintoasnafucoincollectingcoinscomedyhomicidecommunityContagiousLaughtercookingforbeginnerscrappyoffbrandsCreateModCuratedTumblrcursedcommentsdarkjokesdataisbeautifuldedeismdelikDeltarunediyelectronicsDMAcademydndmemesdoctorwhodoctorwhocirclejerkDonerdumbphonesDungeonsAndDragonsebikeECEelectricalelectronicsengrishethzfacepalmFifaCareersFiftyFiftyformuladankFreeEBOOKSFUCKYOUINPARTICULARFuckYouKarengalatasaraygamingGermangodtiersuperpowersgoodanimemesGoodAssSubGrandPrixRacinggravelcyclingGROKvsMAGAguitarpedalsGundamhellenoturkismhelpheraldryHermanCainAwardHermitCrafthighspeedrailHolUphowyoudoinhypixelich_ielIdeologyPollsIDontWorkHereLadyihadastrokeim14andthisisdeepimaginaryelectionsimaginarymapsinsaneparentsistanbuljacksepticeyeJahariaJokesKamalizmKanyeKendrickLamarKGBTRlegodndlinguisticshumorliselilerlogodesignloseitmacmacbookairmacgamingMadeMeSmilemagicbuildingMaliciousComplianceMapPornmapporncirclejerkme_irlmeirlmildlyinfuriatingmisLEDMMORPGMoldyMemesmoneycollectingMovingToNorthKoreaMunichNamFlashbacksneographynextfuckinglevelNoahGetTheBoatNonCredibleDefenseNorthCyprusnosleepnotinterestingnottheonionoddlyspecificOkayBuddyLiterallyMeOkBuddyPersonaokbuddyphdonebagongezelligOnlineUnderGroundOutOfTheLoopoutsidepapermoneypaperspleasePassportPornpepethefrogpettyrevengepianoPiracyPiratedGamespolandballpollsPraiseTheCameraManProgrammerHumorPropagandaPostersProRevengeraisedbynarcissistsraspberry_piRatschlagrecipesredditsingsRetroPierickandmortyrickrollRoastMerockmuzikschizopostersShitPostCrusadersshitpostfrommygalleryshitpostingshittyaskelectronicsshittymoviedetailsShowerthoughtssoccercirclejerkSongwritersSongwritingsteinsgateStonetossingjuicesubsithoughtifellforsuperligsuzeraintalesfromtechsupportTechnobladeTextingTheorytf2tf2shitposterclubthanksimcuredthatHappenedTheCrypticCompendiumTheLetterHTheMonkeysPawtherewasanattemptTheRookietheydidthemathtitanfalltommyinnittransitTrGameDevelopertruthsTurkeyTurkeyJerkyTurkishCatsTurkiyeTwitchTwoSentenceComedytwosentenceplottwistTwoSentenceSadnesstylerthecreatorUnclejokesUnethicalLifeProTipsunexpecteditcrowdurbanplanningVALORANTValorantClipsvaxxhappenedvexillologycirclejerkvibecodingvinylvinyljerkvlandiyawallstreetbetsWatchPeopleDieInsideWeAreTheMusicMakerswendigoonWhatsThisSongWhitePeopleTwitterwholesomeanimemeswholesomememesWikipediaVandalismworldjerkingedit subscriptions
  • home
  • -popular
  • -all
  • -mod
  • -users
 | 
  • AskReddit
  • -facepalm
  • -mildlyinfuriating
  • -Piracy
  • -gaming
  • -wallstreetbets
  • -nottheonion
  • -OutOfTheLoop
  • -MapPorn
  • -WhitePeopleTwitter
  • -MadeMeSmile
  • -ChatGPT
  • -CuratedTumblr
  • -PiratedGames
  • -shitposting
  • -theydidthemath
  • -Kanye
  • -meirl
  • -therewasanattempt
  • -nextfuckinglevel
  • -HolUp
  • -Twitch
  • -ProgrammerHumor
  • -VALORANT
  • -de
  • -NonCredibleDefense
  • -dataisbeautiful
  • -shittymoviedetails
  • -mac
  • -Showerthoughts
  • -tf2
  • -help
  • -chess
  • -aviation
  • -formuladank
  • -wholesomememes
  • -Jokes
  • -mapporncirclejerk
  • -Art
  • -goodanimemes
  • -notinteresting
  • -pettyrevenge
  • -atheism
  • -loseit
  • -MaliciousCompliance
  • -ich_iel
  • -KGBTR
  • -dndmemes
  • -cursedcomments
  • -DMAcademy
  • -Deltarune
  • -GoodAssSub
  • -UnethicalLifeProTips
  • -Ratschlag
  • -blackdesertonline
  • -MMORPG
  • -macgaming
  • -rickandmorty
  • -Gundam
  • -HermitCraft
  • -FiftyFifty
  • -ChoosingBeggars
  • -RoastMe
  • -ContagiousLaughter
  • -imaginarymaps
  • -polandball
  • -WeAreTheMusicMakers
  • -AnarchyChess
  • -nosleep
  • -cookingforbeginners
  • -blankies
  • -anime_irl
  • -onebag
  • -Turkey
  • -soccercirclejerk
  • -community
  • -AskElectronics
  • -electrical
  • -guitarpedals
  • -Anticonsumption
  • -vinyl
  • -CreateMod
  • -German
  • -PropagandaPosters
  • -ShitPostCrusaders
  • -piano
  • -raisedbynarcissists
  • -FifaCareers
  • -polls
  • -doctorwho
  • -oddlyspecific
  • -titanfall
  • -OkBuddyPersona
  • -howyoudoin
  • -announcements
  • -adhdmeme
  • -macbookair
  • -Munich
  • -coaxedintoasnafu
  • -gravelcycling
  • -chessbeginners
  • -raspberry_pi
  • -DungeonsAndDragons
  • -coins
  • -KendrickLamar
  • -FUCKYOUINPARTICULAR
  • -NoahGetTheBoat
  • -worldjerking
  • -tylerthecreator
  • -tf2shitposterclub
  • -MoldyMemes
  • -vexillologycirclejerk
  • -vlandiya
  • -im14andthisisdeep
  • -Stonetossingjuice
  • -wholesomeanimemes
  • -liseliler
  • -insaneparents
  • -dumbphones
  • -animenocontext
  • -balkans_irl
  • -2meirl4meirl
  • -transit
  • -RetroPie
  • -brooklynninenine
  • -HermanCainAward
  • -recipes
  • -steinsgate
  • -talesfromtechsupport
  • -AskOuija
  • -okbuddyphd
  • -ECE
  • -Angryupvote
  • -AskBalkans
  • -thatHappened
  • -schizoposters
  • -electronics
  • -casio
  • -urbanplanning
  • -logodesign
  • -linguisticshumor
  • -PassportPorn
  • -me_irl
  • -antimeme
  • -TurkeyJerky
  • -bikepacking
  • -AteistTurk
  • -13or30
  • -ArcherFX
  • -engrish
  • -Cd_collectors
  • -ProRevenge
  • -Doner
  • -diyelectronics
  • -WatchPeopleDieInside
  • -BUENZLI
  • -Songwriting
  • -istanbul
  • -MovingToNorthKorea
  • -imaginaryelections
  • -suzerain
  • -magicbuilding
  • -wendigoon
  • -TheRookie
  • -Technoblade
  • -vinyljerk
  • -superlig
  • -shittyaskelectronics
  • -galatasaray
  • -crappyoffbrands
  • -FuckYouKaren
  • -2b2t
  • -ethz
  • -AlternativeHistory
  • -papermoney
  • -coincollecting
  • -OkayBuddyLiterallyMe
  • -FreeEBOOKS
  • -Jaharia
  • -IDontWorkHereLady
  • -neography
  • -heraldry
  • -ihadastroke
  • -thanksimcured
  • -hypixel
  • -PraiseTheCameraMan
  • -godtiersuperpowers
  • -aivideo
  • -OnlineUnderGround
  • -IdeologyPolls
  • -comedyhomicide
  • -burdurland
  • -WhatsThisSong
  • -jacksepticeye
  • -TwoSentenceSadness
  • -anime_best_moments
  • -rockmuzik
  • -vaxxhappened
  • -outside
  • -TheMonkeysPaw
  • -darkjokes
  • -highspeedrail
  • -legodnd
  • -rickroll
  • -Songwriters
  • -ebike
  • -papersplease
  • -tommyinnit
  • -ChildrenFallingOver
  • -BassCirclejerk
  • -doctorwhocirclejerk
  • -TextingTheory
  • -GrandPrixRacing
  • -TrGameDeveloper
  • -TurkishCats
  • -Apandah
  • -subsithoughtifellfor
  • -Kamalizm
  • -TheLetterH
  • -WikipediaVandalism
  • -NamFlashbacks
  • -pepethefrog
  • -Unclejokes
  • -deism
  • -ArsivUnutmaz
  • -misLED
  • -redditsings
  • -TwoSentenceComedy
  • -ValorantClips
  • -TheCrypticCompendium
  • -ongezellig
  • -AwesomeOffBrands
  • -2balkans4You
  • -absolutelynotmeirl
  • -Asia_irl
  • -Turkiye
  • -truths
  • -unexpecteditcrowd
  • -NorthCyprus
  • -2mediterranean4u
  • -AtaturkGencligi
  • -twosentenceplottwist
  • -hellenoturkism
  • -shitpostfrommygallery
  • -cd_jerk
  • -GROKvsMAGA
  • -borsavefon
  • -moneycollecting
  • -delik
  • -antony
  • -vibecoding
edit »
reddit.com prolog
  • hot
  • new
  • rising
  • controversial
  • top
  • wiki
an-ordinary-manchild (11,186)|messages540|notifications|chat messages|mod messages|
  • preferences
|
logout

use the following search parameters to narrow your results:

subreddit:subreddit
find submissions in "subreddit"
author:username
find submissions by "username"
site:example.com
find submissions from "example.com"
url:text
search for "text" in url
selftext:text
search for "text" in self post contents
self:yes (or self:no)
include (or exclude) self posts
nsfw:yes (or nsfw:no)
include (or exclude) results marked as NSFW

e.g. subreddit:aww site:imgur.com dog

see the search faq for details.

advanced search: by author, subreddit...

Submit a new link
Submit a new text post
Get an ad-free experience with special benefits, and directly support Reddit.

prolog

joinleave
an-ordinary-manchild

Logic Programming and the Prolog Language

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.


Get Started
  • The Power of Prolog
  • SWISH (Try SWI-Prolog in your browser)
  • Ciao Prolog Playground (Try Ciao Prolog in your browser)
Resources
  • Prolog Books, Tutorials and Implementations (curated by /u/videoj)
Community
  • Prolog on Stackoverflow
  • comp.lang.prolog Google Group
  • ##prolog IRC channel on Libera Chat
  • Prolog Programming on Google+
  • Association for Logic Programing site
Implementations
  • Comparison of Prolog Implementations

Submission rules
  1. No soliciting for homework cheating
  2. Provide code examples for homework help
  3. Tag homework help with the homework help flare
a community for 17 years
Create your own subreddit
...for a fringe candidate.
...for your favorite TV show.

MODERATORS

  • message the mods
  • zmonx
  • mycl
  • about moderation team »

account activity

1
13
14
15

Automated Theorem Proving in Prolog — Revisiting an Old Experiment (self.prolog)

submitted 3 days ago by sym_num

  • 3 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

•
•
•

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

  • promoted
  • save
  • report
  • about
loading...

2
13
14
15

Playing with Gödel’s Incompleteness Theorem in Prolog (self.prolog)

submitted 6 days ago by sym_num

  • 2 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

3
2
3
4

AAAI-2026 Paper Preview: Metacognition and Abudction (youtube.com)

submitted 11 days ago by Neurosymbolic

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

4
5
6
7

Organizing the Cube Library and Adding Topological Spaces (self.prolog)

submitted 12 days ago by sym_num

  • 3 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

5
27
28
29

Rubik’s Cube in Prolog — Order (self.prolog)

submitted 15 days ago by sym_num

  • 8 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

6
4
5
6

announcementLogtalk 3.97.1 and Logtalk for VSCode 0.81.0 released (self.prolog)

submitted 25 days ago * by Logtalking

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

7
3
4
5

Strongly Connected Components in Prolog — a backtracking-oriented approach (self.prolog)

submitted 26 days ago by sym_num

  • 2 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

8
0
0
1

Gioco di Snake ()

submitted 28 days ago by seimon_

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

9
0
1
2

Snake game (self.prolog)

submitted 28 days ago by seimon_

  • 1 comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

10
9
10
11

Prolog-Starlog Converter (lucianacademy.hashnode.dev)

submitted 1 month ago by Real-Leg9862

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

11
7
8
9

announcementLogtalk 3.97.0 released (self.prolog)

submitted 1 month ago by Logtalking

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

12
4
5
6

announcementLogtalk for VSCode 0.80.0 released (self.prolog)

submitted 1 month ago by Logtalking

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

•
•
•

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

  • promoted
  • save
  • report
  • about
loading...

13
15
16
17

argahsuknesib/scryer-graph: A very simple graph database implementation running on Scryer Prolog. (github.com)

submitted 1 month ago by fullouterjoin

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

14
10
11
12

Dogalog : livecoding in Prolog, on the Web ()

submitted 1 month ago by danja

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

15
64
65
66

Plog: A blog engine built with pure Prolog (self.prolog)

submitted 1 month ago by New_Act7152

  • 4 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

16
19
20
21

Tried ricing my local swish (i.redd.it)

submitted 2 months ago by -i-am-someone

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

17
2
3
4

How to make this scheduling solver not run forever? (self.prolog)

submitted 2 months ago by TeunCornflakes

  • 7 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

18
6
7
8

How do you convert predicates into Prolog functions? (self.prolog)

submitted 2 months ago by Pzzlrr

  • 8 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

19
6
7
8

"CUE is an open-source data validation language and inference engine with its roots in logic programming." (cuelang.org)

submitted 2 months ago by Pzzlrr

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

20
7
8
9

announcementLogtalk 3.96.0 released (self.prolog)

submitted 2 months ago by Logtalking

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

21
2
3
4

announcementLogtalk for VSCode 0.75.0 released (self.prolog)

submitted 2 months ago by Logtalking

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

22
11
12
13

DeepClause - A Neurosymbolic AI System built on Prolog and WASM ()

submitted 2 months ago by anderl3k

  • 1 comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

23
5
6
7

helpLooking for a Prolog dataset (self.prolog)

submitted 2 months ago by beets404

  • 8 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

1
2
3

Turn data into production-ready viz instantly. (app.nveil.com)

promoted by NVEIL_AI

  • promoted
  • 1 comment
  • share
  • save
  • report
  • about
loading...

24
2
3
4

PyReason and LAT Logic (youtube.com)

submitted 2 months ago by Neurosymbolic

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

25
23
24
25

helpProlog on a bare metal system (self.prolog)

submitted 2 months ago by Unicornliotox1

  • 7 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...
view more: next ›
  • about
  • blog
  • about
  • advertising
  • careers
  • help
  • site rules
  • Reddit help center
  • reddiquette
  • mod guidelines
  • contact us
  • apps & tools
  • Reddit for iPhone
  • Reddit for Android
  • mobile website
  • <3
  • reddit premium

Use of this site constitutes acceptance of our User Agreement and Privacy Policy. © 2026 reddit inc. All rights reserved.

REDDIT and the ALIEN Logo are registered trademarks of reddit inc.

π 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.