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	691	February 4, 2019
Http_date: RFC 9110 HTTP dates as one DCG that both parses and formats Pack http	1	38	September 5, 2026
ErgoAI engine on SWI-Prolog Announce	0	74	August 21, 2026
Options, Windows file name case handling Announce	0	47	July 18, 2026
SWI-Prolog MCP server and service Announce	0	112	June 30, 2026
Towards signed releases for Windows Announce	0	44	June 19, 2026
A thin Prolog wrapper for SQLite Pack	4	128	April 26, 2026
Call for Papers: Fourth Prolog Education Workshop at ICLP'26/FLoC'26 Call for papers	0	77	April 23, 2026
Horn Clauses for Verification and Synthesis: 2nd CFP Announce	0	58	April 23, 2026
LPNMR 2026 - Call for Workshops Announce	0	44	April 22, 2026
GUI updates Announce	0	91	April 3, 2026
ICLP 2026 - Call for Technical Communications and Recently Published Research Call for papers	0	69	March 19, 2026
PackAnn: Upsh (Unix to Prolog SHell) v3.0 Pack	0	60	March 9, 2026
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Call for papers	0	93	February 13, 2026
MeTTa language transpiler: PeTTa Announce	9	418	January 31, 2026
ICLP 2026 Deadline Extension Call for papers	0	127	January 26, 2026
Notes on building SWI-Prolog for WebAssembly (WASM) Announce	2	98	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	352	December 17, 2025
SWI-Tinker for G4-mic F.O.L. Automated Prover Announce software	0	85	December 2, 2025
Ann: DES 6.9 Released Announce	0	92	November 25, 2025
Algorithm: SAT implementation Announce software	2	151	November 20, 2025
Ann Pack: debug_call 2.1 Pack	0	67	October 27, 2025
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan) Call for papers conference	1	101	October 26, 2025
Package split, creating a json package Announce build	0	73	October 24, 2025
Ann: swixt - interface to XTDB Announce	1	121	October 17, 2025
Game: Chess vs zombie-checkers (Prolog WASM + Phaser) Announce gamdev	0	113	September 29, 2025
Evaluation binaries for new XPCE+SDL based GUI Announce	35	495	July 24, 2025
Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs) Call for papers	0	180	June 23, 2025
Prolog LSP Update - Code Formatting! Pack	10	486	June 18, 2025
Ann: DES 6.8 Released Announce software	0	91	June 15, 2025