r/prolog • u/lokinpendawa • Jul 27 '26
Everything built natively using Prolog! Soon to be translated into English + releasing a FREE version for the community!
EVERYTHING you see in this screenshot was built 100% natively within SWI-Prolog. No heavy frameworks, no system-taxing UI wrappers.
I want to completely change the outdated stigma that Prolog is only for academic purposes—like family trees or command-line logic puzzles. Currently, the interface is in Indonesian as it is running live for a local neo-retail company's infrastructure, but the good news is that I am working on translating the entire system into English.
You can check out the official architecture roadmap and repository details here:
GitHub: https://github.com/lokinpendawa/logicbiz
Even better, I plan to release a FREE version to the community soon.
For those who want to test the raw data capabilities or audit the dataset structure yourself, I have prepared and uploaded the clean, ISO-compliant 400MB flat text database file (.pl format with parenthesized dynamic predicates) to Google Drive:
Dataset: https://github.com/lokinpendawa/high-fidelity-pos-dataset-2M
Here is a brief technical overview of what this native Prolog system does behind the scenes
- - Massive Scale: 1.19 Million+ Master Invoices and 4.19 Million+ Individual Item Transactions.
- - High-Fidelity Chronology: Precise transaction timestamps, dates, and realistic day-name distributions.
- - Multi-Item Checkouts: Deep One-to-Many relational structure mapping multiple product barcodes inside a single invoice ID.
- - Realistic Human Factor: Dynamic cashier assignments synced to specific transaction flows and customer demographics (gender tracking).
- - Complex Financial Metadata: Flawless mathematical relations computing Subtotals, VIP Member Discounts, AI-Driven Bundling Discounts, 11% VAT (PPN), and final Net Totals.
- - Varied Payment Methods: Integrated retail payment gateways including Cash, EDC, QRIS, ShopeePay, etc.
I have only been exploring the declarative nature and the power of homoiconicity in Prolog for about two months, and I am truly amazed by its capabilities as a highly robust full-stack system. Stay tuned for the English version!
Let me know what you think.
Warm regards,
Teddy
2
u/Nychtelios Jul 29 '26
Oh what an original design! It absolutely doesn't shout "LLM slop" in every screenshot
2




10
u/ShacoinaBox Jul 27 '26
thank u LLM of op's choice for this product and post