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	663	February 4, 2019
GUI updates Announce	0	56	April 3, 2026
ICLP 2026 - Call for Technical Communications and Recently Published Research Call for papers	0	35	March 19, 2026
PackAnn: Upsh (Unix to Prolog SHell) v3.0 Pack	0	42	March 9, 2026
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Call for papers	0	55	February 13, 2026
MeTTa language transpiler: PeTTa Announce	9	265	January 31, 2026
ICLP 2026 Deadline Extension Call for papers	0	108	January 26, 2026
Notes on building SWI-Prolog for WebAssembly (WASM) Announce	2	61	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	227	December 17, 2025
SWI-Tinker for G4-mic F.O.L. Automated Prover Announce software	0	69	December 2, 2025
Ann: DES 6.9 Released Announce	0	77	November 25, 2025
Algorithm: SAT implementation Announce software	2	128	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	84	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	97	September 29, 2025
Evaluation binaries for new XPCE+SDL based GUI Announce	35	299	July 24, 2025
Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs) Call for papers	0	120	June 23, 2025
Prolog LSP Update - Code Formatting! Pack	10	398	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	213	June 15, 2025
Ann: DESODBC 1.0.0 Announce software	0	63	June 9, 2025
Support precompiled (.qlf) libraries Announce qlf , install	5	151	April 29, 2025
New version of Units pack Pack	0	65	March 31, 2025
Tinker using .qlf files and no source Announce wasm , tinker	0	53	March 27, 2025
Units: a new pack for units and quantities Pack	19	175	March 25, 2025
Update to WASM shell Announce wasm , shell , online	0	69	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	58	February 6, 2025