|
About the Announce category
|
|
0
|
667
|
February 4, 2019
|
|
A thin Prolog wrapper for SQLite
|
|
4
|
83
|
April 26, 2026
|
|
Call for Papers: Fourth Prolog Education Workshop at ICLP'26/FLoC'26
|
|
0
|
53
|
April 23, 2026
|
|
Horn Clauses for Verification and Synthesis: 2nd CFP
|
|
0
|
38
|
April 23, 2026
|
|
LPNMR 2026 - Call for Workshops
|
|
0
|
24
|
April 22, 2026
|
|
GUI updates
|
|
0
|
68
|
April 3, 2026
|
|
ICLP 2026 - Call for Technical Communications and Recently Published Research
|
|
0
|
47
|
March 19, 2026
|
|
PackAnn: Upsh (Unix to Prolog SHell) v3.0
|
|
0
|
44
|
March 9, 2026
|
|
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
|
|
0
|
63
|
February 13, 2026
|
|
MeTTa language transpiler: PeTTa
|
|
9
|
284
|
January 31, 2026
|
|
ICLP 2026 ** Deadline Extension **
|
|
0
|
110
|
January 26, 2026
|
|
Notes on building SWI-Prolog for WebAssembly (WASM)
|
|
2
|
64
|
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
|
243
|
December 17, 2025
|
|
SWI-Tinker for G4-mic F.O.L. Automated Prover
|
|
0
|
72
|
December 2, 2025
|
|
Ann: DES 6.9 Released
|
|
0
|
79
|
November 25, 2025
|
|
Algorithm: SAT implementation
|
|
2
|
134
|
November 20, 2025
|
|
Ann Pack: debug_call 2.1
|
|
0
|
55
|
October 27, 2025
|
|
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan)
|
|
1
|
86
|
October 26, 2025
|
|
Package split, creating a json package
|
|
0
|
59
|
October 24, 2025
|
|
Ann: swixt - interface to XTDB
|
|
1
|
104
|
October 17, 2025
|
|
Game: Chess vs zombie-checkers (Prolog WASM + Phaser)
|
|
0
|
99
|
September 29, 2025
|
|
Evaluation binaries for new XPCE+SDL based GUI
|
|
35
|
309
|
July 24, 2025
|
|
Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs)
|
|
0
|
132
|
June 23, 2025
|
|
Prolog LSP Update - Code Formatting!
|
|
10
|
422
|
June 18, 2025
|
|
Ann: DES 6.8 Released
|
|
0
|
72
|
June 15, 2025
|
|
New version of the units package v0.12
|
|
20
|
214
|
June 15, 2025
|
|
Ann: DESODBC 1.0.0
|
|
0
|
63
|
June 9, 2025
|
|
Support precompiled (.qlf) libraries
|
|
5
|
154
|
April 29, 2025
|
|
New version of Units pack
|
|
0
|
66
|
March 31, 2025
|
|
Tinker using .qlf files and no source
|
|
0
|
53
|
March 27, 2025
|