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