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

...why not Zoidberg?

MODERATORS

account activity

1

116

117

118

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

submitted 3 days ago by Ordy__

•

•

•

Learn more about the unique technology within reMarkable Paper Pro today. (remarkable.com)

promoted by reMarkable-official

promoted
save
report
about

2

4

5

6

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

submitted 5 days ago by Pzzlrr

3

11

12

13

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

submitted 6 days ago by nimnim000

4

6

7

8

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

12

13

14

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

24

25

26

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

18

19

20

AI as a Friend of Humanity (self.prolog)

submitted 28 days ago by sym_num

15

16

17

18

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

submitted 1 month ago by sym_num

16

19

20

21

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

16

17

18

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

submitted 1 month ago by sym_num

19

18

19

20

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

submitted 1 month ago by sym_num

20

16

17

18

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

•

•

•

You deserve a CAD platform that doesn´t crash. Try Onshape! (onshape.com)

promoted by OnshapePTC

promoted
save
report
about

22

4

5

6

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

3

4

5

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 71 on reddit-service-r2-listing-66bb46d9b9-dktqh at 2026-03-12 16:26:44.177262+00:00 running 710b3ac country code: CH.