|
About the Announce category
|
|
0
|
683
|
February 4, 2019
|
|
The Unrusting Blade: An Offline-First LogicBiz V.2.0 Powered by SWI-Prolog & SQLCipher
|
|
0
|
72
|
July 22, 2026
|
|
In memory POS analytics is built 100% using SWI Prolog
|
|
0
|
45
|
July 23, 2026
|
|
Options, Windows file name case handling
|
|
0
|
31
|
July 18, 2026
|
|
SWI-Prolog MCP server and service
|
|
0
|
82
|
June 30, 2026
|
|
Towards signed releases for Windows
|
|
0
|
33
|
June 19, 2026
|
|
A thin Prolog wrapper for SQLite
|
|
4
|
107
|
April 26, 2026
|
|
Call for Papers: Fourth Prolog Education Workshop at ICLP'26/FLoC'26
|
|
0
|
68
|
April 23, 2026
|
|
Horn Clauses for Verification and Synthesis: 2nd CFP
|
|
0
|
49
|
April 23, 2026
|
|
LPNMR 2026 - Call for Workshops
|
|
0
|
35
|
April 22, 2026
|
|
GUI updates
|
|
0
|
84
|
April 3, 2026
|
|
ICLP 2026 - Call for Technical Communications and Recently Published Research
|
|
0
|
62
|
March 19, 2026
|
|
PackAnn: Upsh (Unix to Prolog SHell) v3.0
|
|
0
|
53
|
March 9, 2026
|
|
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
|
|
0
|
81
|
February 13, 2026
|
|
MeTTa language transpiler: PeTTa
|
|
9
|
374
|
January 31, 2026
|
|
ICLP 2026 ** Deadline Extension **
|
|
0
|
119
|
January 26, 2026
|
|
Notes on building SWI-Prolog for WebAssembly (WASM)
|
|
2
|
81
|
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
|
328
|
December 17, 2025
|
|
SWI-Tinker for G4-mic F.O.L. Automated Prover
|
|
0
|
78
|
December 2, 2025
|
|
Ann: DES 6.9 Released
|
|
0
|
86
|
November 25, 2025
|
|
Algorithm: SAT implementation
|
|
2
|
139
|
November 20, 2025
|
|
Ann Pack: debug_call 2.1
|
|
0
|
59
|
October 27, 2025
|
|
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan)
|
|
1
|
94
|
October 26, 2025
|
|
Package split, creating a json package
|
|
0
|
64
|
October 24, 2025
|
|
Ann: swixt - interface to XTDB
|
|
1
|
115
|
October 17, 2025
|
|
Game: Chess vs zombie-checkers (Prolog WASM + Phaser)
|
|
0
|
107
|
September 29, 2025
|
|
Evaluation binaries for new XPCE+SDL based GUI
|
|
35
|
400
|
July 24, 2025
|
|
Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs)
|
|
0
|
167
|
June 23, 2025
|
|
Prolog LSP Update - Code Formatting!
|
|
10
|
448
|
June 18, 2025
|
|
Ann: DES 6.8 Released
|
|
0
|
83
|
June 15, 2025
|