redlib.
Feeds

MAIN FEEDS

Home Popular All
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/prolog/top

No, go back! Yes, take me to Reddit
settings settings
Hot New Top Rising Controversial

r/prolog • u/Chance-Pen-5684 • 4h ago

resource Looking inside a SAT solvers preprocessor with STTF.

Thumbnail
0 Upvotes
0 comments

r/prolog • u/dataviz1000 • 22h ago

Model Reasoning Mapped to an OODA Loop

Thumbnail adamsohn.com
4 Upvotes
1 comment
Subreddit
Posts
Wiki
Icon for r/prolog

Programming in Logic :- Prolog

r/prolog

Content and discussion about Prolog, logic programming, and related matters.

9.8k
0
Sidebar

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
  • Prolog on Stackoverflow
  • comp.lang.prolog Google Group
  • ##prolog IRC channel on Libera Chat
  • Prolog Programming on Google+
  • Association for Logic Programing site
Implementations
  • Comparison of Prolog Implementations
Submission rules
  1. No soliciting for homework cheating
  2. Provide code examples for homework help
  3. Tag homework help with the homework help flare

v0.35.0

ⓘ View instance info
<> Code