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	661	February 4, 2019
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	100	December 17, 2025
SWI-Tinker for G4-mic F.O.L. Automated Prover Announce software	0	59	December 2, 2025
Ann: DES 6.9 Released Announce	0	63	November 25, 2025
Algorithm: SAT implementation Announce software	2	114	November 20, 2025
Ann Pack: debug_call 2.1 Pack	0	53	October 27, 2025
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan) Call for papers conference	1	73	October 26, 2025
Package split, creating a json package Announce build	0	58	October 24, 2025
Ann: swixt - interface to XTDB Announce	1	95	October 17, 2025
Game: Chess vs zombie-checkers (Prolog WASM + Phaser) Announce gamdev	0	94	September 29, 2025
Evaluation binaries for new XPCE+SDL based GUI Announce	35	281	July 24, 2025
Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs) Call for papers	0	102	June 23, 2025
Prolog LSP Update - Code Formatting! Pack	10	372	June 18, 2025
Ann: DES 6.8 Released Announce software	0	69	June 15, 2025
New version of the units package v0.12 Pack	20	205	June 15, 2025
Ann: DESODBC 1.0.0 Announce software	0	60	June 9, 2025
Support precompiled (.qlf) libraries Announce qlf , install	5	150	April 29, 2025
New version of Units pack Pack	0	55	March 31, 2025
Tinker using .qlf files and no source Announce wasm , tinker	0	51	March 27, 2025
Units: a new pack for units and quantities Pack	19	169	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	158	January 25, 2025
Yet another SQLite binding for SWI-Prolog Pack discussion	13	190	January 12, 2025
Prolog to GPT API Announce software	1	977	December 9, 2024
Updated search for Prolog installation Announce	0	56	November 29, 2024
Package pac updated to 1.6.5 Pack	12	538	September 21, 2024
The 2024 Prolog Implementers Forum PIPs Workshop Announce	1	143	September 26, 2024
Pack Announce: ltools - list manipulations in Prolog Pack software	0	72	September 3, 2024