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	694	February 4, 2019
Performance work Announce	0	42	October 17, 2026
Working on new sCASP implementation. Can you share programs? Announce	0	69	September 24, 2026
Http_date: RFC 9110 HTTP dates as one DCG that both parses and formats Pack http	2	110	September 7, 2026
ErgoAI engine on SWI-Prolog Announce	0	105	August 21, 2026
Options, Windows file name case handling Announce	0	50	July 18, 2026
SWI-Prolog MCP server and service Announce	0	126	June 30, 2026
Towards signed releases for Windows Announce	0	53	June 19, 2026
A thin Prolog wrapper for SQLite Pack	4	143	April 26, 2026
Call for Papers: Fourth Prolog Education Workshop at ICLP'26/FLoC'26 Call for papers	0	81	April 23, 2026
Horn Clauses for Verification and Synthesis: 2nd CFP Announce	0	61	April 23, 2026
LPNMR 2026 - Call for Workshops Announce	0	48	April 22, 2026
GUI updates Announce	0	103	April 3, 2026
ICLP 2026 - Call for Technical Communications and Recently Published Research Call for papers	0	83	March 19, 2026
PackAnn: Upsh (Unix to Prolog SHell) v3.0 Pack	0	64	March 9, 2026
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Call for papers	0	102	February 13, 2026
MeTTa language transpiler: PeTTa Announce	9	478	January 31, 2026
ICLP 2026 Deadline Extension Call for papers	0	131	January 26, 2026
Notes on building SWI-Prolog for WebAssembly (WASM) Announce	2	115	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	389	December 17, 2025
SWI-Tinker for G4-mic F.O.L. Automated Prover Announce software	0	87	December 2, 2025
Ann: DES 6.9 Released Announce	0	97	November 25, 2025
Algorithm: SAT implementation Announce software	2	152	November 20, 2025
Ann Pack: debug_call 2.1 Pack	0	70	October 27, 2025
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan) Call for papers conference	1	104	October 26, 2025
Package split, creating a json package Announce build	0	79	October 24, 2025
Ann: swixt - interface to XTDB Announce	1	126	October 17, 2025
Game: Chess vs zombie-checkers (Prolog WASM + Phaser) Announce gamdev	0	121	September 29, 2025
Evaluation binaries for new XPCE+SDL based GUI Announce	35	598	July 24, 2025
Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs) Call for papers	0	189	June 23, 2025