|
Attempto, Prolog, and OWL
|
|
8
|
996
|
March 8, 2022
|
|
Paizo Prolog - Mobile-first Prolog Playground
|
|
0
|
479
|
March 8, 2022
|
|
Compiler support for cyclic terms?
|
|
3
|
608
|
March 1, 2022
|
|
API calling conventions for Prolog and other kind of, non Prolog, clients
|
|
5
|
541
|
February 28, 2022
|
|
Re: Energy Efficiency in Programming Languages
|
|
4
|
691
|
February 23, 2022
|
|
Questions about cursor manipulation/keyboard input/FFI
|
|
3
|
1068
|
February 27, 2022
|
|
Combining Prolog with Imperative Programming
|
|
20
|
1906
|
February 26, 2022
|
|
Delineating between or combining term creation and term membership
|
|
8
|
480
|
February 21, 2022
|
|
Zoom meeting to chat about Prolog in science
|
|
11
|
636
|
February 10, 2022
|
|
Foreach/3, foreach/4 are necessary?
|
|
2
|
435
|
February 8, 2022
|
|
Default locale and encoding settings on macOS
|
|
12
|
7099
|
February 4, 2022
|
|
Toward ZDD library in SWI-Prolog
|
|
95
|
3159
|
January 27, 2022
|
|
DCGs with single-sided unification?
|
|
16
|
1536
|
January 19, 2022
|
|
Generating choice point "map" through a static analysis
|
|
7
|
514
|
January 17, 2022
|
|
How to use asynchronous programming in Prolog?
|
|
2
|
597
|
January 12, 2022
|
|
Hyperlinks in terminal
|
|
11
|
944
|
December 21, 2021
|
|
Is there convention for naming intermediate variables?
|
|
4
|
1186
|
December 15, 2021
|
|
Should closures allow recursion?
|
|
3
|
511
|
December 9, 2021
|
|
Why is transpose/2 not in library(lists)?
|
|
2
|
861
|
December 5, 2021
|
|
"cloning" a running engine
|
|
7
|
449
|
November 30, 2021
|
|
How are Queries submitted to Pengine in SWISH
|
|
19
|
1590
|
November 19, 2020
|
|
s(CASP) meets JSON
|
|
21
|
1490
|
November 24, 2021
|
|
Where in the swi-prolog code is the need for the creation of choice points checked
|
|
12
|
1251
|
April 26, 2021
|
|
Bug fix bounties?
|
|
5
|
575
|
November 21, 2021
|
|
Old habits never die ;-)
|
|
5
|
495
|
November 20, 2021
|
|
Internationalization support
|
|
4
|
466
|
November 11, 2021
|
|
Dict unification
|
|
5
|
719
|
November 7, 2021
|
|
Engines and preemptive scheduling
|
|
8
|
635
|
November 4, 2021
|
|
Swi-Prolog and Erlang -- tightly integrated?
|
|
18
|
1437
|
November 2, 2021
|
|
Removing elements from a list: select/3 behaves differently than nth1/4
|
|
2
|
433
|
October 28, 2021
|