I've created TrackLog: a collection of Prolog libraries, examples, and guidelines for building a personal knowledge base in pure logic

General
1

  1. TrackLog blurs the boundaries between database administration and programming

  2. TrackLog is based on Formal Grammar (DCG): you will develop your own grammar to accomodate your language needs

  3. TrackLog will help you to create extremely precise and relevant data fuel to feed it to LLMs

  4. TrackLog stands for “Tracking in Logic”

  5. TrackLog libraries are 100% compatible with SWI Prolog dialect and 99% ISO-compatible, so you can port them to another dialect if you need it

  6. My original goal was to create a medical tracker to help people to manage complex illnesses and chronic disorders

  7. Logical Programming is a generalization of functional programming and also a generalization of relational databases. You can see logical programming as a missing glue layer between a database and a program

  8. You can see TrackLog as a second brain to help you capture and analyze data and aid in pure logical decision-making which is free of 100+ cognitive distortions and biases, completely traceable and based on formal logic

Please, use examples.pl as a main guide. I’ve provided several practical use-cases: Learning Tracker, Item Tracker, Exercise Tracker and Programming Tracker.

Repo: GitHub - kciray8/tracklog: TrackLog is a collection of Prolog libraries, examples, and guidelines for building a personal knowledge base in pure logic · GitHub

I’m glad to hear any feedback!