Logtalk for VSCode extension

[hnbeck]

Hi,

developing on Win10 and with Visual Studio Code, I've trouble to get the Logtalk plugin and its Linter to work. Has anyone a running environment with Win10 or Win11?

My problem is that the necessary configurion on LINUX and Windows are very different. On Linux, there is a /usr/local/bin/logtalk, which seems to have no equivalent on Win10, where the shortcut from the Start menu is C:\Dev\swipl\bin\swipl-win.exe (my SWI and Logtalk reside at C: \dev)

So my question is how to configure that Logtalk loads the file in editor and especially that the linter is running?

Cheers

Hans

[pmoura]

There's a new version of the plug-in being developed by Jacob Friedman and sponsored by Graphstax. Jacob is in the process of publishing it at his GitHub account.

In this new plug-in version, when using VSC on Windows, you can set the Logtalk executable path to e.g. the SWI-Prolog executable path and then set the executable argument to load Logtalk. As an example, on my Windows 10 VM, I'm using (on my settings.json file):

{
    "logtalk.home.path": "C:/Program Files (x86)/Logtalk",
    "logtalk.executable.path": "C:\\Program Files\\swipl\\bin\\swipl.exe",
    "logtalk.executable.arguments": [
        "-s",
        "C:\\Program Files (x86)\\Logtalk\\integration\\logtalk_swi.pl"
    ],
    "window.zoomLevel": 4,
    "logtalk.user.path": "C:/Users/Paulo Moura/Documents/Logtalk"
}

Note that the values of the logtalk.home.path and logtalk.user.path keys are, respectively, the values of the LOGTALKHOME and LOGTALKUSER environment variables, which are different in your case; you will need to adjust the paths accordingly. For other Prolog backends, the arguments for the logtalk.executable.arguments key can be taken from the Logtalk integration shortcuts that are available from the Start Menu after installing Logtalk.

[jacobfriedman]

Hello @hnbeck, please try the latest version of the VSCode Logtalk plugin here. Since it's not updated on the marketplace at the moment, you can install the VSIX included in the repo. Any feedback is appreciated. Thank you, Paulo, for your ongoing support and help with this plugin (and, of course, thanks to Graphstax for supporting its development).

[hnbeck]

Hi Jacob,
much better, great :) The only thing is when doing the logtalk make it misses the file vscode_message_streamer.lgt, which indeed is not part of my Logtalk installation (which should be 5.22).

Cheers and thx

Hans

[pmoura]

Pushed that file to the current Logtalk git version. It will be in the next stable release.
https://github.com/LogtalkDotOrg/logtalk3/blob/master/coding/vscode/vscode_message_streamer.lgt

[pmoura]

Version 0.4.8 of the plug-in released.

[pmoura]

Version 0.4.9 of the plug-in released. Thanks to Jacob work, you can now Cmd/Ctrl-click on the warning or error in the embedded terminal and jump to that file and line(s) location.

[pmoura]

Development of the VSCode extension have been moved to:

https://github.com/LogtalkDotOrg/logtalk-for-vscode

Note that the extension have been renamed to "Logtalk for VSCode". We're preparing the extension for publication in the VSCode marketplace.

[pmoura]

Until we publish in the VSCode marketplace, you can download the .vsix file for the latest version for manual installation (using the 'Extensions: Install from VSIX...' command from the command palette) at:

https://github.com/LogtalkDotOrg/logtalk-for-vscode/releases

[pmoura]

Version 0.5.3 of the plug-in released fixing syntax highlight of term and arithmetic comparison operators.

[pmoura]

Version 0.6.1 released. Implemented generation of diagrams and documentation in final formats (finally found a reliable solution). Be aware that settings changed. See the README.md file for details. Tested on both macOS and Windows.

[pmoura]

Version 0.8.4 released. All Logtalk compiler warnings and errors are now reliably added to the "Problems" pane when compiling a file. Tested on both macOS and Windows.

[pmoura]

Logtalk for VSCode plug-in published:

https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode

You can now install the plug-in from VSCode by going to the Extensions tab and searching for "Logtalk".

[pmoura]

Also published in the VSCodium marketplace:

https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode

[pmoura]

Logtalk for VSCode 0.20.0 is now available from both VSCode and VSCodium marketplaces:

https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode

https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode

This is a major release, implementing code navigation features (requires Logtalk 3.78.0 or later version):

• Go to Declaration
• Go to Definition
• Go to Type Definition
• Go to References
• Go to Implementations
• Go to Symbol in Editor...
• Go to Symbol in Workspace...
• Show Call Hierarchy
• Show Type Hierarchy

There's also a new "Open Parent File" command. For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk-for-vscode/releases/tag/v0.20.0