|
About the Announce category
|
|
0
|
674
|
February 4, 2019
|
|
A thin Prolog wrapper for SQLite
|
|
4
|
90
|
April 26, 2026
|
|
Call for Papers: Fourth Prolog Education Workshop at ICLP'26/FLoC'26
|
|
0
|
61
|
April 23, 2026
|
|
Horn Clauses for Verification and Synthesis: 2nd CFP
|
|
0
|
43
|
April 23, 2026
|
|
LPNMR 2026 - Call for Workshops
|
|
0
|
29
|
April 22, 2026
|
|
GUI updates
|
|
0
|
75
|
April 3, 2026
|
|
ICLP 2026 - Call for Technical Communications and Recently Published Research
|
|
0
|
50
|
March 19, 2026
|
|
PackAnn: Upsh (Unix to Prolog SHell) v3.0
|
|
0
|
51
|
March 9, 2026
|
|
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
|
|
0
|
69
|
February 13, 2026
|
|
MeTTa language transpiler: PeTTa
|
|
9
|
319
|
January 31, 2026
|
|
ICLP 2026 ** Deadline Extension **
|
|
0
|
116
|
January 26, 2026
|
|
Notes on building SWI-Prolog for WebAssembly (WASM)
|
|
2
|
72
|
January 22, 2026
|
|
42nd International Conference on Logic Programming (ICLP'26), ISCTE - Instituto Universitário de Lisboa in Lisbon, Portugal | July 20-23, 2026
|
|
0
|
255
|
December 17, 2025
|
|
SWI-Tinker for G4-mic F.O.L. Automated Prover
|
|
0
|
77
|
December 2, 2025
|
|
Ann: DES 6.9 Released
|
|
0
|
84
|
November 25, 2025
|
|
Algorithm: SAT implementation
|
|
2
|
137
|
November 20, 2025
|
|
Ann Pack: debug_call 2.1
|
|
0
|
58
|
October 27, 2025
|
|
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan)
|
|
1
|
90
|
October 26, 2025
|
|
Package split, creating a json package
|
|
0
|
63
|
October 24, 2025
|
|
Ann: swixt - interface to XTDB
|
|
1
|
109
|
October 17, 2025
|
|
Game: Chess vs zombie-checkers (Prolog WASM + Phaser)
|
|
0
|
104
|
September 29, 2025
|
|
Evaluation binaries for new XPCE+SDL based GUI
|
|
35
|
360
|
July 24, 2025
|
|
Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs)
|
|
0
|
135
|
June 23, 2025
|
|
Prolog LSP Update - Code Formatting!
|
|
10
|
440
|
June 18, 2025
|
|
Ann: DES 6.8 Released
|
|
0
|
78
|
June 15, 2025
|
|
New version of the units package v0.12
|
|
20
|
240
|
June 15, 2025
|
|
Ann: DESODBC 1.0.0
|
|
0
|
65
|
June 9, 2025
|
|
Support precompiled (.qlf) libraries
|
|
5
|
163
|
April 29, 2025
|
|
New version of Units pack
|
|
0
|
70
|
March 31, 2025
|
|
Tinker using .qlf files and no source
|
|
0
|
56
|
March 27, 2025
|