Hi, I downloaded “code” a vs-code IDE with integrated AI (GPT) support for coding. I loaded my code base and started to ask questions – as to what my code base does – and its quite amazing to review the code with the answers provided. I also started to ask the IDE for best practices and got, what…

I think I’ll keep asking @Johnny_Rotten for refactoring questions. Johnny Rotten seems to be a reliable AI agent so far…

[image] CodeGPT: Chat & AI Agents - Visual Studio Marketplace Extension for Visual Studio Code - Easily Connect to Top AI Providers Using Their Official APIs in VSCode You mean this one?

[image] Features | Cursor - The AI-first Code Editor Cursor is the AI code editor. I meant cursor not code … my mistake …

Does vs-code refer to Visual Studio Code? I am trying to use Visual Studio Code and hoping to figure out which Language Server Protocal implementation to use: [image] GitHub - hargettp/prolog_lsp: Language Server for Prolog Language Server for Prolog …

That looks interesting! I didn’t know of any of those. I’ll give them a try. Thanks for sharing your knowledge

I just picked one of the newer prolog extensions that supported swi prolog. But, I didn’t get far – I ran into problems, for some reason swi prolog terminal kept being started unpredictably until i had like 10 of them running. So, I went back to Eclipse – found an earlier version that worked as it…

[image] grossdan: So, I went back to Eclipse :rofl: :rofl: It’s not time for strange experiments, I agree, it’s more time for “I know what I like and I like what I know” :roll_eyes: :weary:

[image] anon419083: I think I’ll keep asking @Johnny_Rotten for refactoring questions. Johnny Rotten seems to be a reliable AI agent so far… Gosh! Damit, you are suggesting quite a carreer turn now, not only from punk rock lead singer of the sex pistols, to Prologer. But also from human flesh…

Doing some Propositional Calculus. After that I’m finished with formalisms. So no primes checking. The professor who wrote the book doesn’t make use of a DN Double Negation rule like: ¬¬p |– p he prefers talking about “sentence valence”. I think I won’t follow him on this. DN is ok, I find

Different strokes for different folks. I admire more number theory porn, such as this website, which gave me the big prime number: https://bigprimes.org/ But is 982363755354447643447304070919 really a prime number? Could an AI wizzard guide me through coding their algorithm? In the end I would …

Using code to develop prolog programs

General

anon419083 August 24, 2024, 9:16pm 3

You mean this one?

Topic		Replies	Views
Using Claude Code to create skills, commands, plans, ... for SWI-Prolog Discussion	23	1197	May 19, 2026
IDE/Editor for SWI-Prolog? Tools	38	21562	August 23, 2019
Prolog LSP now supports colours (Discussion) Discussion	27	1453	April 22, 2025
How better ide or command line prolog.Now strating General	10	891	September 5, 2021
VS Code Dev Containers with SWI Prolog Nice to know	0	581	October 6, 2021

Using code to develop prolog programs

Related topics