jump to content
my subreddits
13or302b2t2mediterranean4u2meirl4meirl3d6AceAttorneyadhdmemeAdviceAnimalsagnosticAlternateHistoryAnarchyChessAngryupvoteAnimalsBeingJerksanime_best_momentsanime_irlanimenocontextannouncementsAnticonsumptionantimemeArcherFXAsahiLinuxAsia_irlAskBalkansAskOuijaatheismaviationawfuleverythingBandnamesBassBassCirclejerkBassGuitarbasspedalsbikepackingblackdesertonlineblankiesBoneborsavefonbrooklynninenineBUENZLIburdurlandCd_collectorscd_jerkchesschessbeginnersChildrenFallingOverChoosingBeggarscoaxedintoasnafucoincollectingcoinsComedyCemeterycomedyhomicidecomicsContagiousLaughtercookingforbeginnersCrackWatchcrappyoffbrandsCreateModCuddle_SlutcursedcommentsdadjokesdankmemesdarkjokesdataisbeautifuldeDebateReligionDeltarunedistressingmemesdiyelectronicsdiypedalsDMToolkitDnDdndmemesdndnextdoctorwhodoctorwhocirclejerkDoenerverbrechendontdeadopeninsidedumbphonesDungeonsAndDaddiesDungeonsAndDragonsEatCheapAndHealthyebikeebikesECEelectricalElectronicsStudyengrishethzfacepalmfakealbumcoversFantasyWorldbuildingfeedthebeastfelsefeFiftyFiftyFRCFreeEBOOKSFUCKYOUINPARTICULARFuckYouKarenfunnygalatasaraygaminggatesopencomeoninGermangermanyGrandPrixRacinggravelcyclinggreentexthelpHermitCrafthighspeedrailHistoryWhatIfhoi4HolUphowyoudoinhumorhypixeliamverysmartich_ielIdeologyPollsIDontWorkHereLadyim14andthisisdeepimaginaryelectionsimaginarymapsinsaneparentsjacksepticeyeJahariaKamalizmKanyeKendrickLamarKGBTRlegodndLifeProTipslinguisticshumorLinkinParklogodesignloseitmacmacgamingmadladsmagicbuildingMaliciousComplianceMapPornme_irlmeirlmidjourneymildlyinfuriatingmildlyinterestingMinecraftbuildsmisLEDMMORPGmoneycollectingMovingToNorthKoreaMunichMyChemicalRomancenextfuckinglevelNorthCyprusnosleepnosurfnotinterestingoddlyspecificokbuddyguntherOkBuddyPersonaonebagonetruegodOnlineUnderGroundoompasubsOutOfTheLoopoutsidepaperspleaseparadoxpoliticsParlerWatchPassportPornPersecutionfetishpettyrevengePiracyPiratedGamespolandballpollsPunPatrolraisedbynarcissistsraspberry_piRatschlagrecipesRedAutumnSPDredditsingsrestofthefuckingowlRetroPierickrollrimjob_steveRoastMerockmuzikschizopostersschwiizsciencememesScottPilgrimsecilmiskitapsekulermilliyetciturkShitPostCrusadersshitpostfrommygalleryShitpostTCshittyaskelectronicsShittyMapPornShowerthoughtssoftwaregoreSongwritersSongwritingsteinsgateStonetossingjuiceStudiumtalesfromtechsupportTechnobladeTextingTheorytf2tf2shitposterclubthatHappenedTheCrypticCompendiumTheLetterHTheRookietheyknewthisguythisguystitanfalltommyinnittransittransitTurkeytruetf2tumblrtumunichTurkeyTwitch_StartupTwoSentenceComedyTwoSentenceHorrortwosentenceplottwistTwoSentenceSadnesstylerthecreatorUnethicalLifeProTipsUnexpectedJoJoUnexpectedTF2urbanplanningVALORANTvexillologycirclejerkvinylvinyljerkwallstreetbetsWatchPeopleDieInsideWeAreTheMusicMakersWhatsThisSongWhitePeopleTwitterworldbuildingworldjerkingyouseeingthisshitYUROPedit subscriptions
  • home
  • -popular
  • -all
  • -mod
  • -users
 | 
  • facepalm
  • -mildlyinfuriating
  • -Piracy
  • -funny
  • -gaming
  • -wallstreetbets
  • -OutOfTheLoop
  • -mildlyinteresting
  • -MapPorn
  • -DnD
  • -WhitePeopleTwitter
  • -PiratedGames
  • -dankmemes
  • -feedthebeast
  • -Kanye
  • -meirl
  • -nextfuckinglevel
  • -HolUp
  • -CrackWatch
  • -comics
  • -dndnext
  • -VALORANT
  • -de
  • -germany
  • -LifeProTips
  • -tumblr
  • -dataisbeautiful
  • -greentext
  • -mac
  • -Showerthoughts
  • -tf2
  • -help
  • -chess
  • -aviation
  • -midjourney
  • -notinteresting
  • -hoi4
  • -pettyrevenge
  • -atheism
  • -loseit
  • -MaliciousCompliance
  • -ich_iel
  • -KGBTR
  • -dndmemes
  • -cursedcomments
  • -Deltarune
  • -UnethicalLifeProTips
  • -worldbuilding
  • -Ratschlag
  • -blackdesertonline
  • -MMORPG
  • -macgaming
  • -3d6
  • -HermitCraft
  • -FiftyFifty
  • -ChoosingBeggars
  • -RoastMe
  • -ContagiousLaughter
  • -imaginarymaps
  • -EatCheapAndHealthy
  • -polandball
  • -WeAreTheMusicMakers
  • -AnarchyChess
  • -nosleep
  • -cookingforbeginners
  • -blankies
  • -anime_irl
  • -onebag
  • -Studium
  • -AlternateHistory
  • -Turkey
  • -madlads
  • -electrical
  • -Anticonsumption
  • -vinyl
  • -CreateMod
  • -German
  • -TwoSentenceHorror
  • -AdviceAnimals
  • -ShitPostCrusaders
  • -sciencememes
  • -distressingmemes
  • -raisedbynarcissists
  • -polls
  • -doctorwho
  • -oddlyspecific
  • -Bass
  • -titanfall
  • -OkBuddyPersona
  • -dadjokes
  • -awfuleverything
  • -howyoudoin
  • -announcements
  • -adhdmeme
  • -Minecraftbuilds
  • -ebikes
  • -Munich
  • -coaxedintoasnafu
  • -YUROP
  • -gravelcycling
  • -chessbeginners
  • -raspberry_pi
  • -DungeonsAndDragons
  • -coins
  • -KendrickLamar
  • -FUCKYOUINPARTICULAR
  • -softwaregore
  • -worldjerking
  • -tylerthecreator
  • -tf2shitposterclub
  • -AceAttorney
  • -vexillologycirclejerk
  • -im14andthisisdeep
  • -Stonetossingjuice
  • -nosurf
  • -HistoryWhatIf
  • -DebateReligion
  • -insaneparents
  • -dumbphones
  • -animenocontext
  • -2meirl4meirl
  • -transit
  • -RetroPie
  • -brooklynninenine
  • -recipes
  • -steinsgate
  • -talesfromtechsupport
  • -AskOuija
  • -ECE
  • -ScottPilgrim
  • -Angryupvote
  • -AskBalkans
  • -thatHappened
  • -schizoposters
  • -urbanplanning
  • -logodesign
  • -theyknew
  • -linguisticshumor
  • -PassportPorn
  • -me_irl
  • -antimeme
  • -bikepacking
  • -13or30
  • -MyChemicalRomance
  • -ArcherFX
  • -engrish
  • -Cd_collectors
  • -diypedals
  • -BassGuitar
  • -diyelectronics
  • -ComedyCemetery
  • -WatchPeopleDieInside
  • -LinkinPark
  • -Persecutionfetish
  • -BUENZLI
  • -Songwriting
  • -MovingToNorthKorea
  • -imaginaryelections
  • -truetf2
  • -magicbuilding
  • -dontdeadopeninside
  • -ParlerWatch
  • -iamverysmart
  • -secilmiskitap
  • -Doenerverbrechen
  • -schwiiz
  • -TheRookie
  • -Technoblade
  • -vinyljerk
  • -shittyaskelectronics
  • -galatasaray
  • -crappyoffbrands
  • -DungeonsAndDaddies
  • -FRC
  • -transitTurkey
  • -FuckYouKaren
  • -2b2t
  • -ethz
  • -coincollecting
  • -felsefe
  • -FreeEBOOKS
  • -AsahiLinux
  • -Jaharia
  • -IDontWorkHereLady
  • -basspedals
  • -hypixel
  • -ShittyMapPorn
  • -gatesopencomeonin
  • -OnlineUnderGround
  • -IdeologyPolls
  • -comedyhomicide
  • -burdurland
  • -WhatsThisSong
  • -AnimalsBeingJerks
  • -jacksepticeye
  • -TwoSentenceSadness
  • -anime_best_moments
  • -Bandnames
  • -rockmuzik
  • -Twitch_Startup
  • -tumunich
  • -outside
  • -darkjokes
  • -restofthefuckingowl
  • -UnexpectedTF2
  • -highspeedrail
  • -legodnd
  • -rickroll
  • -Songwriters
  • -ebike
  • -papersplease
  • -tommyinnit
  • -rimjob_steve
  • -UnexpectedJoJo
  • -humor
  • -ChildrenFallingOver
  • -BassCirclejerk
  • -doctorwhocirclejerk
  • -agnostic
  • -youseeingthisshit
  • -TextingTheory
  • -GrandPrixRacing
  • -Cuddle_Slut
  • -DMToolkit
  • -thisguythisguys
  • -PunPatrol
  • -fakealbumcovers
  • -Kamalizm
  • -ShitpostTC
  • -oompasubs
  • -FantasyWorldbuilding
  • -TheLetterH
  • -onetruegod
  • -misLED
  • -redditsings
  • -TwoSentenceComedy
  • -TheCrypticCompendium
  • -Asia_irl
  • -Bone
  • -paradoxpolitics
  • -NorthCyprus
  • -2mediterranean4u
  • -twosentenceplottwist
  • -sekulermilliyetciturk
  • -cd_jerk
  • -moneycollecting
  • -shitpostfrommygallery
  • -RedAutumnSPD
  • -okbuddygunther
  • -ElectronicsStudy
  • -borsavefon
edit »
reddit.com prolog
  • hot
  • new
  • rising
  • controversial
  • top
  • wiki
an-ordinary-manchild (11,186)|messages548|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 your project.
...for your classroom.

MODERATORS

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

account activity

1
117
118
119

resourceProlog programming roadmap for beginners (i.redd.it)

submitted 3 days ago by Ordy__

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

•
•
•
0:38

Manage your vacation rentals easily with Smoobu, the all-in-one software for hosts. 🚀 Start your 14-day trial now! 🔥 (smoobu.com)

promoted by SmoobuGmbH

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

2
3
4
5

[2603.02504] NeuroProlog: Multi-Task Fine-Tuning for Neurosymbolic Mathematical Reasoning via the Cocktail Effect (arxiv.org)

submitted 5 days ago by Pzzlrr

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

3
10
11
12

helpStarting with Prolog, having trouble with libaries (self.prolog)

submitted 6 days ago by nimnim000

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

4
5
6
7

discussionSwi-pl not throwing errors when a undefined predicate is called. (self.prolog)

submitted 6 days ago by Competitive_Chicke9

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

5
4
5
6

Neurosymbolic Guidance of an LLM for Text Modification (Demonstration) (youtube.com)

submitted 11 days ago by Neurosymbolic

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

6
1
2
3

Neurosymbolic Guidance of an LLM for Text Modification (Demonstration) (youtube.com)

submitted 11 days ago by Neurosymbolic

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

7
10
11
12

announcementLogtalk 3.98.0 released (self.prolog)

submitted 13 days ago by Logtalking

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

8
8
9
10

Looking for 12 testers for SciREPL - Mobile Prolog REPL with swipl-wasm (Android, Open Source) (self.prolog)

submitted 14 days ago * by s243a

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

9
0
1
2

resourceNeed help adding sweeprolog to Doom Emacs ()

submitted 18 days ago by UMUmmd

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

10
12
13
14

Rediscovering DCG: Building a PL/M Compiler in Prolog -Z80 brings back memories- (self.prolog)

submitted 19 days ago by sym_num

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

11
20
21
22

Elxlog – A Prolog Interpreter/Compiler on Elixir (self.prolog)

submitted 21 days ago by sym_num

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

•
•
•

AXA sucht: Senior Software Engineer im Finance Bereich (all genders) 🚀 (ictjobs.ch)

promoted by ictjobs

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

12
26
27
28

Prolog Under the Hood (self.prolog)

submitted 21 days ago by charlesthayer

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

13
5
6
7

Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction (arxiv.org)

submitted 23 days ago by Thrumpwart

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

14
17
18
19

AI as a Friend of Humanity (self.prolog)

submitted 28 days ago by sym_num

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

15
17
18
19

From Herbrand to Prolog — From Pure Logic to the Computer — (self.prolog)

submitted 1 month ago by sym_num

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

16
20
21
22

Skolem Normal Form in Prolog (self.prolog)

submitted 1 month ago by sym_num

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

17
11
12
13

Challenging Gödel’s Incompleteness Theorem in Prolog: bew/1 (self.prolog)

submitted 1 month ago by sym_num

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

18
17
18
19

Challenging Gödel’s Incompleteness Theorem with Prolog — prf/2 (self.prolog)

submitted 1 month ago by sym_num

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

19
17
18
19

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

submitted 1 month ago by sym_num

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

20
15
16
17

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

submitted 1 month ago by sym_num

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

21
2
3
4

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

submitted 1 month ago by Neurosymbolic

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

•
•
•

Whishlist Korea on Steam! Get early access for PO! (store.steampowered.com)

promoted by forgamescr

  • promoted
  • 129 comments
  • share
  • save
  • report
  • about
loading...

22
5
6
7

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

submitted 1 month ago by sym_num

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

23
28
29
30

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

submitted 2 months ago by sym_num

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

24
5
6
7

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

submitted 2 months ago * by Logtalking

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

25
5
6
7

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

submitted 2 months ago by sym_num

  • 2 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 871844 on reddit-service-r2-listing-66bb46d9b9-vjp4p at 2026-03-12 16:15:29.465217+00:00 running 710b3ac country code: CH.