FO(·) extension for Visual Studio Code (Beta)
A Visual Studio Code extension with rich support for the FO(·) language, providing syntax highlighting, code snippets, and convenience commands.
FO(·) files have one of the following extensions: .fol, .fodot, .idp, .idpz3, .idp-z3.
(add code example)
The FO(·) extension was not yet tested on vscode.dev.
FO(·) language and its ecosystem
The FO[·] standard extends first-order logic to allow complex knowledge to be expressed in a rigorous and elaboration-tolerant way. FO[·] facilitates the development of knowledge-intensive applications capable of intelligent behavior [CVVD22]. For instance, FO[·] introduces (inductive) definitions, aggregates, and types. Please refer to the official documentation to learn more.
FO(·) represents a machine-readable interpretation of the FO[·] standard to describe knowledge bases that can be used by reasoning engines.
IDP-Z3 is a reasoning engine for domain knowledge that leverages FO(·) knowledge bases. An online tutorial to get started with IDP-Z3 is available. IDP-Z3 can perform many useful inference tasks to drive intelligent behavior and support your users in their processes:
- Verifying conformance
- Generating possible solutions
- Deriving consequences
- Explaining why a fact can (not) be derived
- Ask relevant questions
In addition, IDP-Z3 has several user-friendly extensions to simplify working with FO(·) knowledge bases (e.g., cDMN)
Quick start
Useful commands (TODO)
Open the Command Palette (Command+Shift+P on macOS and Ctrl+Shift+P on Windows/Linux) and type in one of the following commands:
TODO(add command table [command|hotkey|description])
Useful snippets (TODO)
The extension contains multiple best practice templates as snippets to speed up the development. Extended templates can be found here
| Prefix |
Description |
| ::init |
Initalize IDP-z3 code blocks. |
| ::example |
Insert nails example. |
Supported locales (TODO)
The extension is available in multiple languages: de, en, fr, nl
Questions, issues, feature requests, and contributions
- If you have a question about how to accomplish something with the extension, please ask on our Discussions page.
- If you come across a problem with the extension, please file an issue.
- Contributions are always welcome! Please see our contributing guide for more details.
- Any and all feedback is appreciated and welcome!
- If someone has already filed an issue that encompasses your feedback, please leave a 👍/👎 reaction on the issue.
- Otherwise please start a new discussion.
- FO[·], FO(·), and IDP-Z3 are actively developed by The Declarative Languages and Artificial Intelligence (DTAI) group which is part of KU Leuven. If you want to contribute, please contact:
- your supervisor if you are an internal student.
- the DTAI administration if you are external.
Data and telemetry
No data is collected or shared by using the FO(·) extension for Visual Studio Code.
