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	659	February 4, 2019
SWI-Tinker for G4-mic F.O.L. Automated Prover Announce software	0	46	December 2, 2025
Ann: DES 6.9 Released Announce	0	52	November 25, 2025
Algorithm: SAT implementation Announce software	2	93	November 20, 2025
Ann Pack: debug_call 2.1 Pack	0	49	October 27, 2025
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan) Call for papers conference	1	69	October 26, 2025
Package split, creating a json package Announce build	0	54	October 24, 2025
Ann: swixt - interface to XTDB Announce	1	92	October 17, 2025
Game: Chess vs zombie-checkers (Prolog WASM + Phaser) Announce gamdev	0	88	September 29, 2025
Evaluation binaries for new XPCE+SDL based GUI Announce	35	271	July 24, 2025
Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs) Call for papers	0	91	June 23, 2025
Prolog LSP Update - Code Formatting! Pack	10	357	June 18, 2025
Ann: DES 6.8 Released Announce software	0	67	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	57	June 9, 2025
Support precompiled (.qlf) libraries Announce qlf , install	5	145	April 29, 2025
New version of Units pack Pack	0	46	March 31, 2025
Tinker using .qlf files and no source Announce wasm , tinker	0	46	March 27, 2025
Units: a new pack for units and quantities Pack	19	164	March 25, 2025
Update to WASM shell Announce wasm , shell , online	0	67	February 25, 2025
Yield based debugging: allow for a fancy debugger for the browser version! Announce swish , discussion , wasm , browser	1	77	February 20, 2025
WASM version engine support Announce wasm , threads , engines	0	54	February 6, 2025
Preliminary Call for Papers (ICLP 2025) Announce iclp , cfp	0	155	January 25, 2025
Yet another SQLite binding for SWI-Prolog Pack discussion	13	180	January 12, 2025
Prolog to GPT API Announce software	1	973	December 9, 2024
Updated search for Prolog installation Announce	0	53	November 29, 2024
Package pac updated to 1.6.5 Pack	12	537	September 21, 2024
The 2024 Prolog Implementers Forum PIPs Workshop Announce	1	138	September 26, 2024
Pack Announce: ltools - list manipulations in Prolog Pack software	0	67	September 3, 2024
Pack Ann: proSQLite 2.0 Pack	0	58	August 15, 2024