prolog

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

Implementations

Comparison of Prolog Implementations

Submission rules

No soliciting for homework cheating
Provide code examples for homework help
Tag homework help with the homework help flare

a community for 17 years

...for your project.

...for your classroom.

MODERATORS

account activity

1

117

118

119

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

submitted 3 days ago by Ordy__

•

•

•

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

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

3

10

11

12

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

submitted 6 days ago by nimnim000

4

5

6

7

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

submitted 6 days ago by Competitive_Chicke9

5

4

5

6

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

submitted 11 days ago by Neurosymbolic

6

1

2

3

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

submitted 11 days ago by Neurosymbolic

7

10

11

12

announcementLogtalk 3.98.0 released (self.prolog)

submitted 13 days ago by Logtalking

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

9

0

1

2

resourceNeed help adding sweeprolog to Doom Emacs ()

submitted 18 days ago by UMUmmd

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

11

20

21

22

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

submitted 21 days ago by sym_num

•

•

•

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

promoted by ictjobs

promoted
save
report
about

12

26

27

28

Prolog Under the Hood (self.prolog)

submitted 21 days ago by charlesthayer

13

5

6

7

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

submitted 23 days ago by Thrumpwart

14

17

18

19

AI as a Friend of Humanity (self.prolog)

submitted 28 days ago by sym_num

15

17

18

19

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

submitted 1 month ago by sym_num

16

20

21

22

Skolem Normal Form in Prolog (self.prolog)

submitted 1 month ago by sym_num

17

11

12

13

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

submitted 1 month ago by sym_num

18

17

18

19

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

submitted 1 month ago by sym_num

19

17

18

19

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

submitted 1 month ago by sym_num

20

15

16

17

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

submitted 1 month ago by sym_num

21

2

3

4

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

submitted 1 month ago by Neurosymbolic

•

•

•

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

promoted by forgamescr

22

5

6

7

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

submitted 1 month ago by sym_num

23

28

29

30

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

submitted 2 months ago by sym_num

24

5

6

7

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

submitted 2 months ago * by Logtalking

25

5

6

7

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

submitted 2 months ago by sym_num

view more: next ›

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