Announce

Pack Use this category when announcing a new or updated package. Call for papers This category should be used for academic Call for Papers announcements. Conferences or journals should be related to Prolog.

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