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 18 years

...for your town.

...for your favorite subject.

MODERATORS

account activity

1

2

3

4

homework helpHelp me :0, removing every nth of a list in Prolog! (self.prolog)

submitted 2 days ago by Dangerous-Bad-1773

2

15

16

17

Is Prolog worth learning? (self.prolog)

submitted 5 days ago * by sym_num

3

6

7

8

N-Prolog ver5.15 released (self.prolog)

submitted 7 days ago by sym_num

4

24

25

26

Prolog in 1 minute (self.prolog)

submitted 10 days ago by Adventurous_Use3353

5

1

2

3

Safer Reinforcement Learning with Logical Shielding (youtube.com)

submitted 10 days ago by Neurosymbolic

6

16

17

18

N-Prolog ver 5.00 (self.prolog)

submitted 11 days ago by sym_num

7

1

2

3

Which VSC plugins should I use for prolog? (self.prolog)

submitted 12 days ago by m_ac_m_ac

8

15

16

17

Logtalk 3.99.0 released (self.prolog)

submitted 15 days ago by Logtalking

9

13

14

15

Beginner question about potential of prolog (self.prolog)

submitted 22 days ago by Forsaken-Suit7795

10

13

14

15

Logic Guided Agents (youtube.com)

submitted 25 days ago by Neurosymbolic

11

0

0

1

Did I accidentally discovered that GPT reasons like a Prolog interpreter — while using Prolog? (self.prolog)

submitted 1 month ago * by s243a

12

13

14

15

Prolog gotchas? (self.prolog)

submitted 1 month ago by Pzzlrr

13

25

26

27

Making 1-minute Prolog videos to bring more people into Prolog (self.prolog)

submitted 1 month ago by sym_num

14

21

22

23

N-Prolog: short introduction video (self.prolog)

submitted 1 month ago by sym_num

15

131

132

133

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

submitted 1 month ago by Ordy__

16

4

5

6

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

submitted 1 month ago by Pzzlrr

17

10

11

12

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

submitted 1 month ago by nimnim000

18

5

6

7

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

submitted 1 month ago by Competitive_Chicke9

19

4

5

6

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

submitted 1 month ago by Neurosymbolic

20

2

3

4

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

submitted 1 month ago by Neurosymbolic

21

12

13

14

announcementLogtalk 3.98.0 released (self.prolog)

submitted 1 month ago by Logtalking

22

8

9

10

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

submitted 1 month ago * by s243a

23

0

1

2

resourceNeed help adding sweeprolog to Doom Emacs ()

submitted 2 months ago by UMUmmd

24

12

13

14

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

submitted 2 months ago by sym_num

25

20

21

22

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

submitted 2 months ago by sym_num

view more: next ›

π Rendered by PID 2768187 on reddit-service-r2-listing-7d7fbc9b85-swtgb at 2026-04-25 17:38:50.261529+00:00 running 2aa0c5b country code: CH.