I thought that this little conversation I had with ChatGPT was amusing. It started with Shriram Krishnamurthi trying a constraint problem with ChatGPT (which ChatGPT failed), and which I modified by asking ChatGPT to generate a Prolog program to solve (and I changed the names in the problem). Shrira…

For my amusement, I repeated the question, but asking ChatGPT to write a C++ program: Unfortunately, as an AI language model, I cannot write and run programs, but I can provide a general algorithmic approach to solving this problem: Initialize a two-dimensional boolean array to keep track of whi…

[image] peter.ludemann: This would probably get part-marks on an exam, if the person grading the exam was in a hurry. :slight_smile: This is great. So we already know that certain philosophers would go through all kinds of mental acrobatics to prove (to themselves?) that only the “(human?) bi…

I just got access to Bard, so I tried it out. The results were mixed – the program feels as if it’s closer to being correct, but it has syntax errors and doesn’t do the upper-case to lower-case name conversion that ChatGPT did … and it does some of the same mistakes that ChatGPT does, such as gettin…

I had a similar experience trying to get chatGPT-4 to write Prolog code. Compiled, but simply didn’t work. And unfortunately you can’t give it error messages to fix, since the code just returns false :face_with_peeking_eye: On the other hand, @schacher seems to have some secrets for getting more us…

I take you have not seen this set of Wiki topics here related to ChatGPT and SWI-Prolog. Start with LLM (Large Language Model) such as ChatGPT prompts related to Prolog

This tweet claimed that GPT4 produced a correct Prolog program (but, so far, we don’t know what the prompt was): https://twitter.com/GrantSlatton/status/1637929603670118406 The “solution” is wrong (e.g., akira meets both delancy and erika at 1). This can be fixed by adding parameters to schedule_me…

[image] peter.ludemann: This tweet claimed that GPT4 produced a correct Prolog program A few speculative notes on such While I don’t have access to GPT-4 yet, it is possible that GPT-4 might be better at creating Prolog code. As this seems to be a popular example, the AI model(s) might be l…

Yes, please split the topic, so that we can discuss findall/3 separately.

I tried to use ChatGPT to write code for me. For more languages like JavaScript is works pretty well, but sometimes produces mess. For Prolog it works really bad probably because Prolog is not so widespread and is less represented in training datasets.

I also tried chatgpt for Prolog and it didn’t work, the code looked usable but it was completely broken

ChatGPT fails to create a program for me

General

Topic		Replies	Views
Assignment for university Predicate	81	5312	April 22, 2021
Find the bug in this logic puzzle Help!	12	889	November 12, 2021
ChatGPT SWI-Prolog assistent Nice to know chatgpt , llm	27	641	July 1, 2025
ChatGPT prompts - SWI-Prolog (1) Wiki chatgpt	0	1034	February 17, 2023
Can ChatGPT generate correct Prolog code for this problem? General chatgpt	2	894	February 3, 2023

ChatGPT fails to create a program for me

Related topics