Using code to develop prolog programs

General
1

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 appears, interesting refactoring suggestions.

Has anyone else used code with prolog?

Dan

p.s. this is surely a key draw to vs-code and away from eclipse IDE – even though I would now run swipl-win from the terminal to get to the debugger.

2

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

3

You mean this one?

4

I meant cursor not code … my mistake …

5

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:

or

or

Is there another I am not finding?

And which VSCode LSP clients (extensions) are people using with these servers? (I notice it is not a 1-to-1)

A total side distraction: has anyone thought about letting an LLM piggy back onto the LSP responses?

6

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

7

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 always had with PDT …

8

: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:

10

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

12

I don’t know @Johnny_Rotten … I don’t know how much Rotten your brain is
Mine is and I only do simple stuff since I realized that…possibly you’re younger than me so you may still have hope