Logic Programming

Browse posts by tag

April 8, 2026

Compression Enables Generalization: Wake-Sleep Cycles for Logic Programming with LLM Integration

December 17, 2025

The Reasoned Schemer

October 8, 2025

DreamLog: Logic Programming That Dreams to Improve Itself

A logic programming system that alternates between wake and sleep phases, using LLMs for knowledge generation during wake and compression-based learning during sleep.

artificial-intelligence machine-learning

October 7, 2025

Logic Programming

Compression Enables Generalization: Wake-Sleep Cycles for Logic Programming with LLM Integration

The Reasoned Schemer

DreamLog: Logic Programming That Dreams to Improve Itself

DreamLog: Neural-Symbolic Integration through Compression-Based Learning and Wake-Sleep Cycles