search

microsoft / Guan

Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.
MIT License
72 stars 5 forks source link

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

Open GitTorre opened 1 year ago

GitTorre commented 1 year ago

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

TaviTruman commented 1 year ago

@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 commented 1 year ago

Excellent!

TaviTruman commented 1 year ago

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 commented 1 year ago

Thanks for working on this!

TaviTruman commented 6 months ago

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

TaviTruman commented 1 month ago

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 commented 1 month ago

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 commented 1 month ago

@GitTorre Thanks for the kinds words and sentiment.