cd/entity/SWI Prolog· home› entities› SWI Prolog
grep -l @swi prolog /news/*.json | wc -l → 2

SWI Prolog

mentions 2 type Person feed RSS

// recent coverage 2 mentions

14:33
2026-07-20
johndcook.com
artificial-intelligence

Solving a chess puzzle with Grok 4.5

Grok 4.5 successfully generated SWI Prolog and Lean 4 code to solve a chess puzzle: placing five white queens and three black queens on a 5×5 board so that no queen of one color attacks a queen of ano…

17:22
2026-06-15
johndcook.com
large-language-models

Writing Prolog with ChatGPT

ChatGPT successfully generated a SWI Prolog program to solve a chess puzzle placing five pieces on a 4x4 board without attacks, finding all 16 solutions. The experiment suggests LLMs can effectively h…

// co-occurs with top 5 entities
ChatGPT 2 Claude 2 Grok 4.5 1 Martin Gardner 1 Lean 4 1
// topics top 4 topics
large language models 2 ai tools 2 generative ai 1 artificial intelligence 1