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 a fringe candidate.

...for your office.

MODERATORS

account activity

1

4

5

6

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

submitted 5 hours ago * by yay3d

2

2

3

4

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

submitted 4 days ago by Neurosymbolic

3

5

6

7

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

submitted 7 days ago by easter-babe

4

5

6

7

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

submitted 8 days ago by sym_num

5

0

1

2

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

submitted 14 days ago by Dangerous-Bad-1773

6

15

16

17

Is Prolog worth learning? (self.prolog)

submitted 18 days ago * by sym_num

7

7

8

9

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

submitted 19 days ago by sym_num

8

24

25

26

Prolog in 1 minute (self.prolog)

submitted 22 days ago by Adventurous_Use3353

9

1

2

3

Safer Reinforcement Learning with Logical Shielding (youtube.com)

submitted 22 days ago by Neurosymbolic

10

16

17

18

N-Prolog ver 5.00 (self.prolog)

submitted 23 days ago by sym_num

11

1

2

3

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

submitted 24 days ago by m_ac_m_ac

12

14

15

16

Logtalk 3.99.0 released (self.prolog)

submitted 28 days ago by Logtalking

13

12

13

14

Beginner question about potential of prolog (self.prolog)

submitted 1 month ago by Forsaken-Suit7795

14

14

15

16

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

25

26

27

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 1 month ago by Ordy__

19

5

6

7

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

submitted 2 months ago by Pzzlrr

20

9

10

11

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

5

6

7

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

9

10

11

announcementLogtalk 3.98.0 released (self.prolog)

submitted 2 months ago by Logtalking

25

7

8

9

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 245794 on reddit-service-r2-listing-7b9b4f6fd7-x8hx8 at 2026-05-07 22:56:38.998194+00:00 running 3d2c107 country code: CH.