|
About the Announce category
|
|
0
|
689
|
February 4, 2019
|
|
Options, Windows file name case handling
|
|
0
|
38
|
July 18, 2026
|
|
SWI-Prolog MCP server and service
|
|
0
|
94
|
June 30, 2026
|
|
Towards signed releases for Windows
|
|
0
|
41
|
June 19, 2026
|
|
A thin Prolog wrapper for SQLite
|
|
4
|
117
|
April 26, 2026
|
|
Call for Papers: Fourth Prolog Education Workshop at ICLP'26/FLoC'26
|
|
0
|
73
|
April 23, 2026
|
|
Horn Clauses for Verification and Synthesis: 2nd CFP
|
|
0
|
55
|
April 23, 2026
|
|
LPNMR 2026 - Call for Workshops
|
|
0
|
39
|
April 22, 2026
|
|
GUI updates
|
|
0
|
87
|
April 3, 2026
|
|
ICLP 2026 - Call for Technical Communications and Recently Published Research
|
|
0
|
66
|
March 19, 2026
|
|
PackAnn: Upsh (Unix to Prolog SHell) v3.0
|
|
0
|
57
|
March 9, 2026
|
|
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
|
|
0
|
87
|
February 13, 2026
|
|
MeTTa language transpiler: PeTTa
|
|
9
|
401
|
January 31, 2026
|
|
ICLP 2026 ** Deadline Extension **
|
|
0
|
124
|
January 26, 2026
|
|
Notes on building SWI-Prolog for WebAssembly (WASM)
|
|
2
|
91
|
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
|
341
|
December 17, 2025
|
|
SWI-Tinker for G4-mic F.O.L. Automated Prover
|
|
0
|
84
|
December 2, 2025
|
|
Ann: DES 6.9 Released
|
|
0
|
88
|
November 25, 2025
|
|
Algorithm: SAT implementation
|
|
2
|
148
|
November 20, 2025
|
|
Ann Pack: debug_call 2.1
|
|
0
|
63
|
October 27, 2025
|
|
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan)
|
|
1
|
100
|
October 26, 2025
|
|
Package split, creating a json package
|
|
0
|
68
|
October 24, 2025
|
|
Ann: swixt - interface to XTDB
|
|
1
|
121
|
October 17, 2025
|
|
Game: Chess vs zombie-checkers (Prolog WASM + Phaser)
|
|
0
|
112
|
September 29, 2025
|
|
Evaluation binaries for new XPCE+SDL based GUI
|
|
35
|
474
|
July 24, 2025
|
|
Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs)
|
|
0
|
178
|
June 23, 2025
|
|
Prolog LSP Update - Code Formatting!
|
|
10
|
473
|
June 18, 2025
|
|
Ann: DES 6.8 Released
|
|
0
|
88
|
June 15, 2025
|
|
New version of the units package v0.12
|
|
20
|
302
|
June 15, 2025
|
|
Ann: DESODBC 1.0.0
|
|
0
|
73
|
June 9, 2025
|