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

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

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