r/prolog 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

11 Upvotes

7 comments sorted by

10

u/ShacoinaBox Jul 27 '26

thank u LLM of op's choice for this product and post

-3

u/lokinpendawa Jul 28 '26

I definitely used an LLM to polish and translate my messy thoughts into this English. Glad it reads well though!"

1

u/norxondor Jul 28 '26

You forgot to remove the end quote from your copy-paste.

2

u/Nychtelios Jul 29 '26

Oh what an original design! It absolutely doesn't shout "LLM slop" in every screenshot

2

u/toblotron Jul 30 '26

Nice!

It's this used in production, by some company?