December 17, 2025
Logic-Programming
Browse posts by tag
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.
October 7, 2025