do-convert-logic

August 24, 2022 · View on GitHub

Track and reason quickly with millions of to-do entries using Prolog and QLF