Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[FEATURE REQUEST] Guan language support: VS Plug-in #54

Open
GitTorre opened this issue Feb 7, 2023 · 8 comments
Open

[FEATURE REQUEST] Guan language support: VS Plug-in #54

GitTorre opened this issue Feb 7, 2023 · 8 comments

Comments

@GitTorre
Copy link
Member

GitTorre commented Feb 7, 2023

Visual Studio plugin supporting Guan in the text editor. Re: Discussion with Tavi

@TaviTruman
Copy link

@GitTorre I only have a little time to work on this, but I have become a heavy user of Guan. I use Guan in our NLP and Ontology-driven Business Process and Workflow Engine. As you already know, there is a lot of Symbolic Reasoning (Symbolic AI) in the Ontology and Workflow. I am reading and learning VS Language Service; I will publish the design from start to finish and publish it here.

@GitTorre
Copy link
Member Author

Excellent!

@TaviTruman
Copy link

Update: I have started on the design and implementation and hope to have something shown in a month or so. This is a side project so I working on it in my spare time.

@GitTorre
Copy link
Member Author

Thanks for working on this!

@TaviTruman
Copy link

FYI - I am making good progress; should be able to demo something in February.

@TaviTruman
Copy link

TaviTruman commented May 30, 2024

I am resuming work on extending the Microsoft Guan Logic Programming Framework after taking some time off to mourn the passing of my parents. During this period, I have shifted my focus towards integrating the Language Server Protocol (LSP) to enable Trinity Graph Engine (TGE) and Trinity Specification Language (TSL) functionalities within both Visual Studio Code and Visual Studio.

My efforts are currently focused on several key areas:

  1. Extending Guan with FOL Capabilities: I am working to support ISO Common Logic First Order Logic (FOL) expressions in Guan. This will enable Guan to perform advanced logic programming tasks similar to Datalog, significantly enhancing its functionality and utility.
  2. Enhancing TGE/TSL Integration: I am extending TGE/TSL so that we can directly encode Guan logic productions. This integration will leverage TGE's powerful graph processing capabilities and TSL's specification language within Guan, providing a seamless development experience.
  3. Creating a VS Plugin for Guan: I am developing a Visual Studio plugin for Guan to streamline the development process. This plugin will support modeling, debugging, and testing within the Visual Studio environment.
  4. Building a Comprehensive Toolchain: I am also working on creating a robust toolchain for modeling, debugging, and testing Guan logic programs. This toolchain aims to facilitate the development and maintenance of Guan-based applications.

Currently, I am in the planning phase and do not have a concrete timeline for these developments. However, the advancements in .NET and C# 12 significantly facilitate this process.

I appreciate your patience and look forward to sharing more updates as progress continues.

@GitTorre
Copy link
Member Author

My condolences to you and your family. Take care. In terms of the work at hand, much thanks in advance for your time, ideas, and contributions.

Best,
Charles

@TaviTruman
Copy link

@GitTorre Thanks for the kinds words and sentiment.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants