Logical Contracts has created an Logic Toolkit for XBRL-based Digital Financial Reporting that is being called by the codename "Pacioli" (after Luca Pacioli) currently. Fundamentally, Pacioli is a digital business reporting platform (including financial reporting), it is not just the one report you see. You can interact with the details of reports; see this demonstration of interacting with reports using the logical conceptualization of a business report provide by SBRM. Alternatively, you can interact with the report information using XBRL, you can use this demonstration to do that.
This is a summary of my testing of Pacioli.
Pacioli is build using SWI Prolog. This includes an online interface called SWISH. (See SWI Prolog's features here.)
You can load pretty much any XBRL-based report on the internet from that page above. A short 2 minute video is provided that walks you through the Pacioli web service.
If you want to try this Logic Toolkit for XBRL-based Digital Financial Reporting out; I would encourage you to use these sample XBRL instances FIRST because you can gradually use larger, and larger, and larger documents and see what is going on. I would suggest: Accounting equation, SFAC 6, Common Elements, Proof, XASB, and Not for Profit.
You can also use the documents from this XBRL Conformance Suite which are on the smaller size.
You can also try these XBRL-based reports submitted to the SEC for Microsoft, all of these software companies, any reports on this Edgar Dashboard, these IFRS-based reports, or any of these US GAAP-based reports. Other reports you can use include:
Logical Contracts used Prolog to implement the Logic Toolkit for XBRL-based Digital Financial Reporting. You can get more details on this webpage.
##################################
Other demos: