VS Plugin for Semantic Live Parsing and Editing

[TaviTruman]

It would be great to have a Visual Studio plugin supporting Guan.

[GitTorre]

That is an interesting idea. It is unclear how difficult this would be.

[TaviTruman]

@GitTorre I am new to VS Plugin development, and I think these days, this type of development falls in the domain of Language Service. I am maintaining Graph Engine TSL VS Plugin, and it's of medium complex grade. This feels like it is a medium-complexity effort.

[GitTorre]

Thanks, @TaviTruman

This is a great example of a feature for the community to work on together.

[GitTorre]

Created work item to track this.

[TaviTruman]

I've been busy returning to the classical text in Computer Science in Predicate Logic, First Order, Second, and Fuzzy Logic; the goal is to create an exhaustive set of examples using Guan. Given the current state of Guan, I can foresee some extensions coming - very exciting! In the meantime, I am working to produce a technical design of the Lexer, Parser, and other such productions. I will post such artifacts here and have links to my repro, where many other related docs, experiments, and samples can be found. I also started drafting a developer's Guan to Logic programming.

[TaviTruman]

I have some downtime now after a total knee replacement surgery so I'll return to working on the Guan VS Studio RFP (Reactive Functional Parser) Parser. @GitTorre do think I should create a new git repo for this project; I will be developing it in the open.

[GitTorre]

Hi @TaviTruman

Glad to hear your replacement surgery went well. I think it makes sense for you to work on this in a separate repo where you control the PRs and manage issues. Since this is extended capability for VS related to Guan programming experience, that approach makes the most sense. Finally, thank you for driving this. I'm sure fellow Guan programmers using VS will both be pleased and helpful, including yours truly.

[TaviTruman]

@GitTorre I am starting to feel like life is returning to something that looks and feels normal for me. I have a new GitHub Repo setup (still under development); once I have the site up and running, I will post an announcement. This project will surely consume a few years of my life and I am looking forward to failing often and working towards many successes.

Title: Proposal for Extending the Guan Logic Engine and Programming Framework
Body:
Hello Guan Community,

I'm excited to share a proposal for extending the capabilities of the Guan Logic Engine and Programming Framework. This plan aims to enhance Guan's integration with the Trinity Graph Engine (TGE), improve language support, and develop more advanced user interfaces for logic programming. Your feedback and suggestions are highly welcome. Here's the outline:

1. Seamless Integration with TGE:

Develop query capabilities in Guan leveraging TGE’s LIKQ and LINQ graph traversal.
Implement Guan predicates for direct interaction with TGE graphs.

2. Enhanced TGE TSL Facility:

Incorporate attributed language features for ontological reasoning from BFO 2.0, RO, IAO, SKOS, OWL 2 DL, and Common Logic. Develop built-in predicates/functions in Guan for ontology-aligned data manipulation in TGE.

3. Extended Logical Framework Support:

Extend Guan for First-Order Logic (FOL), Second-Order Logic (SOL), higher-order logic, and transaction logic. Enhance reasoning capabilities to handle complex logical constructs.

4. Live Parsing and Editing in Visual Studio 2022:

Develop Visual Studio plugins/extensions for live parsing and editing of Guan logic rules.
Add IDE features like syntax highlighting, rule validation, and debugging.

5. Visual Designer for Ontological Reasoning and ODSD:

Create a visual tool for Ontology-Driven Software Development (ODSD).
Allow visual construction and manipulation of ontological models linked to Guan's rules.

6. Enhanced Documentation and Community Engagement:

Develop comprehensive documentation and tutorials.
Establish channels for community feedback and contributions.

7. Advanced Analytics and Visualization Tools:

Integrate Guan with data analytics tools for complex analysis and visualization.
This extension is aimed at positioning Guan as a leading tool in logic programming, especially for applications requiring sophisticated ontological reasoning and graph data processing. I look forward to your insights and discussions on how we can collectively make this a reality.

Best regards,
Tavi Truman