Announce

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

Topic	Replies	Views	Activity
About the Announce category Announce	0	683	February 4, 2019
SWI-Prolog MCP server and service Announce	0	69	June 30, 2026
Towards signed releases for Windows Announce	0	31	June 19, 2026
A thin Prolog wrapper for SQLite Pack	4	104	April 26, 2026
Call for Papers: Fourth Prolog Education Workshop at ICLP'26/FLoC'26 Call for papers	0	65	April 23, 2026
Horn Clauses for Verification and Synthesis: 2nd CFP Announce	0	48	April 23, 2026
LPNMR 2026 - Call for Workshops Announce	0	33	April 22, 2026
GUI updates Announce	0	83	April 3, 2026
ICLP 2026 - Call for Technical Communications and Recently Published Research Call for papers	0	59	March 19, 2026
PackAnn: Upsh (Unix to Prolog SHell) v3.0 Pack	0	53	March 9, 2026
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Call for papers	0	74	February 13, 2026
MeTTa language transpiler: PeTTa Announce	9	365	January 31, 2026
ICLP 2026 Deadline Extension Call for papers	0	119	January 26, 2026
Notes on building SWI-Prolog for WebAssembly (WASM) Announce	2	80	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	307	December 17, 2025
SWI-Tinker for G4-mic F.O.L. Automated Prover Announce software	0	78	December 2, 2025
Ann: DES 6.9 Released Announce	0	85	November 25, 2025
Algorithm: SAT implementation Announce software	2	138	November 20, 2025
Ann Pack: debug_call 2.1 Pack	0	59	October 27, 2025
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan) Call for papers conference	1	93	October 26, 2025
Package split, creating a json package Announce build	0	64	October 24, 2025
Ann: swixt - interface to XTDB Announce	1	113	October 17, 2025
Game: Chess vs zombie-checkers (Prolog WASM + Phaser) Announce gamdev	0	107	September 29, 2025
Evaluation binaries for new XPCE+SDL based GUI Announce	35	393	July 24, 2025
Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs) Call for papers	0	167	June 23, 2025
Prolog LSP Update - Code Formatting! Pack	10	445	June 18, 2025
Ann: DES 6.8 Released Announce software	0	81	June 15, 2025
New version of the units package v0.12 Pack	20	255	June 15, 2025
Ann: DESODBC 1.0.0 Announce software	0	65	June 9, 2025
Support precompiled (.qlf) libraries Announce qlf , install	5	167	April 29, 2025