Testing Grok 4.5's ability to generate Prolog and Lean code for a chess puzzle variation of the n-queens problem.
Experiment using ChatGPT to generate Prolog code for solving a chess puzzle, demonstrating LLM-assisted logic programming.
Using eprover's Knuth-Bendix completion to generate rewrite systems and integrating them with Knuckledragger via Prolog.
A developer compares solving Advent of Code puzzles in Prolog, Haskell, Python, and Scala, analyzing productivity, code style, and language ergonomics.
Introduces 'Domicles,' a logic puzzle using domino tiles, with examples and a Prolog implementation for puzzle generation.
A technical exploration of a minimal probabilistic Prolog meta-interpreter for stochastic simulation.
Explores using logic programming (Prolog) for data analysis, demonstrating its application on a diamond pricing dataset to build robust models.
Explores using logic programming and Prolog for semi-supervised clustering, arguing it's more intuitive than traditional algorithms for rule-based problems.
Explores using Prolog for symbolic reasoning in data science, integrating it with Python for tasks like piecewise regression analysis.
