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	662	February 4, 2019
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Call for papers	0	47	February 13, 2026
MeTTa language transpiler: PeTTa Announce	9	225	January 31, 2026
ICLP 2026 Deadline Extension Call for papers	0	89	January 26, 2026
Notes on building SWI-Prolog for WebAssembly (WASM) Announce	2	53	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	183	December 17, 2025
SWI-Tinker for G4-mic F.O.L. Automated Prover Announce software	0	63	December 2, 2025
Ann: DES 6.9 Released Announce	0	71	November 25, 2025
Algorithm: SAT implementation Announce software	2	126	November 20, 2025
Ann Pack: debug_call 2.1 Pack	0	54	October 27, 2025
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan) Call for papers conference	1	81	October 26, 2025
Package split, creating a json package Announce build	0	59	October 24, 2025
Ann: swixt - interface to XTDB Announce	1	100	October 17, 2025
Game: Chess vs zombie-checkers (Prolog WASM + Phaser) Announce gamdev	0	96	September 29, 2025
Evaluation binaries for new XPCE+SDL based GUI Announce	35	289	July 24, 2025
Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs) Call for papers	0	110	June 23, 2025
Prolog LSP Update - Code Formatting! Pack	10	382	June 18, 2025
Ann: DES 6.8 Released Announce software	0	70	June 15, 2025
New version of the units package v0.12 Pack	20	209	June 15, 2025
Ann: DESODBC 1.0.0 Announce software	0	62	June 9, 2025
Support precompiled (.qlf) libraries Announce qlf , install	5	150	April 29, 2025
New version of Units pack Pack	0	61	March 31, 2025
Tinker using .qlf files and no source Announce wasm , tinker	0	52	March 27, 2025
Units: a new pack for units and quantities Pack	19	172	March 25, 2025
Update to WASM shell Announce wasm , shell , online	0	68	February 25, 2025
Yield based debugging: allow for a fancy debugger for the browser version! Announce swish , discussion , wasm , browser	1	84	February 20, 2025
WASM version engine support Announce wasm , threads , engines	0	57	February 6, 2025
Preliminary Call for Papers (ICLP 2025) Announce iclp , cfp	0	159	January 25, 2025
Yet another SQLite binding for SWI-Prolog Pack discussion	13	193	January 12, 2025
Prolog to GPT API Announce software	1	979	December 9, 2024