How to sum elements on a list in Prolog...

"Not equal" sign in Visual Prolog?...

Some doubts related about how work a meaning predicate that interprets the parse tree of a DCG gramm...

Solving N-queens with Constraint Handling Rules...

How does prolog know when to end recursion when using DCGs to reverse a string?...

Best path to get into natural language processing...

How to identify valid bodies and convertible terms...

Shuffling a list in Prolog...

How to code this mathematical formula in Prolog...

Read a file line by line in Prolog...

Prolog cut not preventing the backtracking I expected it to - what's wrong with this code?...

Better definition of the reifying memberd_t/3...

What occurs-check optimizations is SWI Prolog using?...

In scryer prolog, how do I provide stdin to `phrase_from_stream`?...

Prolog - equal operator wrapping...

Chatbot in Prolog...

Where is Prolog used for traffic control systems?...

End_of_stream property after opening empty file...

How do I make a Prolog rule that only reads the lists inside lists?...

What are the (perceived) shortcomings of the ISO standard for Prolog modules (ISO/IEC 13211-2)?...

What is the meaning of slash after the predicate name in Prolog?...

Cut operator not discarding choice points?...

How is one meant to parse the phrase "pure monotonic Prolog"?...

Prolog Analogy IQ Test Unexpected token exception...

Scheduling Exercise...

How to negate in Prolog...

I wrote a program to handle unit conversions in Prolog, but I always get stack-overflows: Do you kno...

Eliminating three-valued logic predicates choice points with if_/3...

What are the best Prolog programming practices and style guidelines?...

Prolog, could not derive which predicate may be called...