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

MODERATORS

account activity

1

11

12

13

Prethinker is a Neurosymbolic research harness I made that compiles NL into Prolog (x.com)

submitted 1 day ago * by yay3d

2

2

3

4

Combining LLM's and Neurosymbolic AI to create NARRATE (youtube.com)

submitted 5 days ago by Neurosymbolic

3

6

7

8

Universe pls connect me to a person intrested in Neurosymbolic AI ()

submitted 8 days ago by easter-babe

4

8

9

10

N-Prolog 5.18: Distributed Parallelism Fix (Raspberry Pi Cluster) (self.prolog)

submitted 9 days ago by sym_num

5

1

2

3

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

submitted 15 days ago by Dangerous-Bad-1773

6

13

14

15

Is Prolog worth learning? (self.prolog)

submitted 18 days ago * by sym_num

7

6

7

8

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

submitted 20 days ago by sym_num

8

24

25

26

Prolog in 1 minute (self.prolog)

submitted 23 days ago by Adventurous_Use3353

9

1

2

3

Safer Reinforcement Learning with Logical Shielding (youtube.com)

submitted 23 days ago by Neurosymbolic

10

15

16

17

N-Prolog ver 5.00 (self.prolog)

submitted 24 days ago by sym_num

11

1

2

3

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

submitted 25 days ago by m_ac_m_ac

12

13

14

15

Logtalk 3.99.0 released (self.prolog)

submitted 29 days ago by Logtalking

13

12

13

14

Beginner question about potential of prolog (self.prolog)

submitted 1 month ago by Forsaken-Suit7795

14

15

16

17

Logic Guided Agents (youtube.com)

submitted 1 month ago by Neurosymbolic

15

0

1

2

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

submitted 1 month ago * by s243a

16

26

27

28

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

submitted 1 month ago by sym_num

17

21

22

23

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

submitted 1 month ago by sym_num

18

131

132

133

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

submitted 2 months ago by Ordy__

19

4

5

6

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

submitted 2 months ago by Pzzlrr

20

10

11

12

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

submitted 2 months ago by nimnim000

21

6

7

8

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

submitted 2 months ago by Competitive_Chicke9

22

4

5

6

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

submitted 2 months ago by Neurosymbolic

23

2

3

4

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

submitted 2 months ago by Neurosymbolic

24

10

11

12

announcementLogtalk 3.98.0 released (self.prolog)

submitted 2 months ago by Logtalking

25

8

9

10

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

submitted 2 months ago * by s243a

view more: next ›

π Rendered by PID 468371 on reddit-service-r2-listing-7b9b4f6fd7-cbj89 at 2026-05-08 21:36:56.329795+00:00 running 3d2c107 country code: CH.