Topics tagged discussion (original) (raw)

Yield based debugging: allow for a fancy debugger for the browser version!

1

59

February 20, 2025

Implementing negation from this book

2

723

February 20, 2025

Yet another SQLite binding for SWI-Prolog

13

136

January 12, 2025

Yfy-pattern

14

1049

November 13, 2024

SQLite dependency in a pack

12

91

July 31, 2024

Including prolog c++ libraries inside Unreal Engine

2

96

July 2, 2024

Generalizing aggregate/3 by adding foldl semantics

0

240

June 23, 2024

"Updating index for library" messages after ninja install

4

177

June 3, 2024

Why the answer contains a `false`?

16

3102

May 14, 2024

Strange behavior with findall/3

3

111

May 2, 2024

(C/C++) Blobs and the flags for "unique" and "nocopy"

6

262

April 8, 2024

A pure sort/2

15

901

March 7, 2024

Need Help with research about industrial/commercial applications in Prolog

6

513

February 25, 2024

Incorporation of edwards elliptic curves into swipl?

1

131

February 19, 2024

Zippers for data-structure editing with DCG state management

2

139

January 24, 2024

Term_expansion, goal_expansion, and peers

3

225

January 12, 2024

I'm looking for a more elegant way to solve the problem

10

321

December 26, 2023

Cmake test program triggers Windows Defender

2

442

December 22, 2023

Can't send mail using smtp

2

185

December 6, 2023

What you do think about this way to model laws?

8

362

December 3, 2023

DCG optimisation and non-optimisation with multiple accumulators

3

334

October 10, 2023

How to install module in Python online compiler

0

4083

August 21, 2023

Prolog inline predicates

28

2298

February 28, 2023

Changes to SWI-cpp.h

62

2617

July 12, 2023

In lieu of a type system

1

334

June 28, 2023

My Prolog code runs forever

6

408

June 28, 2023

Facts vs Local knowledge

10

528

June 27, 2023

Best resource to learn prolog

3

553

June 8, 2023

Types with SWI-Prolog

32

4152

May 11, 2023

Interpreter targeting LLVM

6

674

May 3, 2023