Задача в которой сервер пытается угадать загаданное пользователем животное

TRUNCATE TABLE Ответы;

WITH ДоступныеЖивотный AS (
  SELECT код 
  FROM Животные
  
  EXCEPT
 
  SELECT --Исключительный список
    КодЖивотного
  FROM 
    Ответы 
    INNER JOIN Истины ON 
      Истины.КодВопроса = Истины.КодВопроса AND 
      Ответы.УтверждениеИстинно <> Истины.УтверждениеИстинно
)
 
SELECT --Есть ответ, какое животное или животные кончились
  CASE WHEN COUNT(*) = 0 THEN 'ОтветНетВариантов' ELSE 'Ответ' END ТипСообщения,
  CASE WHEN COUNT(*) = 0 THEN 'ну не знаю тогда' ELSE (SELECT Название FROM Животные WHERE Животные.Код = MAX(t.Код)) END Сообщение,
  MAX(t.Код) Код 
FROM 
  (SELECT * FROM ДоступныеЖивотный LIMIT 2) AS t
HAVING
  COUNT(*) < 2
 
UNION ALL
 
SELECT * FROM (
  WITH 
    ДоступныеВопросы AS (
      SELECT 
        Вопросы.*,
        ( --Рассчитываем сколько вариантов можем исключить в худшем варианте
          SELECT 
            least(
              COALESCE(COUNT(*) FILTER (WHERE УтверждениеИстинно),0),
              COALESCE(COUNT(*) FILTER (WHERE NOT УтверждениеИстинно),0)
            )
          FROM 
            Истины
            INNER JOIN ДоступныеЖивотный ON 
              ДоступныеЖивотный.Код = Истины.КодЖивотного
          WHERE 
            Истины.КодВопроса = Вопросы.Код
        ) nCoeff        
      FROM 
        Вопросы 
      WHERE 
        NOT Вопросы.Код IN (SELECT КодВопроса FROM Ответы)
      ORDER BY nCoeff DESC
      LIMIT 1
    )
    
  --Возвращаем один единственный вопрос  
  SELECT 'Вопрос', ТекстВопроса, Код FROM ДоступныеВопросы
  
  UNION ALL 
  
  --Если вопросов нет, то вернем список предполагаемых животных
  SELECT 'ВопросыКончились', (SELECT string_agg(Животные.Название, ', ') FROM Животные WHERE Код IN (SELECT код FROM ДоступныеЖивотный)), -1
    
  LIMIT 1 
 
)
 
LIMIT 1

INSERT INTO Ответы(КодВопроса, УтверждениеИстинно) VALUES (:КодВопроса, :УтверждениеИстинно)

WITH 
  ЖивотноеСуществует AS (SELECT Код FROM Животные WHERE UPPER(Название) = UPPER(:ЗагаданноеЖивотное))
  НовоеЖивотное AS (INSERT INTO Животные(Название) SELECT :ЗагаданноеЖивотное WHERE NOT EXISTS(ЖивотноеСуществует) returning Код),
  НовыйВопрос AS (INSERT INTO Вопросы(ТекстВопроса) VALUES (:ОтличающийВопрос) returning Код),
  НовыеИстины AS (INSERT INTO Истины(КодВопроса, КодЖивотного, УтверждениеИстинно) VALUES ((SELECT код FROM НовыйВопрос), COALESCE((SELECT код FROM НовоеЖивотное),(SELECT код FROM ЖивотноеСуществует)), TRUE) returning *)
SELECT COALESCE((SELECT код FROM НовоеЖивотное),(SELECT код FROM ЖивотноеСуществует))

--До этого шли по правильному пути поэтому сохраним ответы
INSERT INTO Истины(КодВопроса)
SELECT
  КодВопроса, :КодЖивотного, УтверждениеИстинно 
FROM
  Ответы
WHERE 
  NOT Ответы.КодВопроса IN (SELECT КодВопроса FROM Истины WHERE КодЖивотного = :КодЖивотного);

CREATE DATABASE plpgsql_queries;

CREATE TABLE animals(
id INTEGER PRIMARY KEY GENERATED ALWAYS AS IDENTITY,
yes_id INTEGER REFERENCES animals(id),
no_id INTEGER REFERENCES animals(id),
name text
);

INSERT INTO animals(name) VALUES
('млекопитающее'), ('слон'), ('черепаха');
UPDATE animals SET yes_id = 2, no_id = 3 WHERE id = 1;
SELECT * FROM animals ORDER BY id;

CREATE FUNCTION start_game(
OUT context INTEGER,
OUT question text
) AS $$
DECLARE
root_id CONSTANT INTEGER := 1;
BEGIN
SELECT id, name||'?'
INTO context, question
FROM animals
WHERE id = root_id;
END
$$ LANGUAGE plpgsql;

CREATE FUNCTION continue_game(
INOUT context INTEGER,
IN answer BOOLEAN,
OUT you_win BOOLEAN,
OUT question text
) AS $$
DECLARE
new_context INTEGER;
BEGIN
SELECT CASE WHEN answer THEN yes_id ELSE no_id END
INTO new_context
FROM animals
WHERE id = context;
IF new_context IS NULL THEN
you_win := NOT answer;
question := CASE
WHEN you_win THEN 'Сдаюсь'
ELSE 'Вы проиграли'
END;
ELSE
SELECT id, NULL, name||'?'
INTO context, you_win, question
FROM animals
WHERE id = new_context;
END IF;
END
$$ LANGUAGE plpgsql;

CREATE FUNCTION end_game(
IN context INTEGER,
IN name text,
IN question text
) RETURNS void
AS $$
DECLARE
new_animal_id INTEGER;
new_question_id INTEGER;
BEGIN
INSERT INTO animals(name) VALUES (name)
RETURNING id INTO new_animal_id;
INSERT INTO animals(name) VALUES (question)
RETURNING id INTO new_question_id;
UPDATE animals SET yes_id = new_question_id
WHERE yes_id = context;
UPDATE animals SET no_id = new_question_id
WHERE no_id = context;
UPDATE animals SET yes_id = new_animal_id, no_id = context
WHERE id = new_question_id;
END
$$ LANGUAGE plpgsql;

SELECT * FROM start_game();

SELECT * FROM continue_game(1,TRUE);

SELECT * FROM continue_game(2,FALSE);

SELECT * FROM end_game(2,'кит','живет в воде');

SELECT * FROM animals ORDER BY id;

SELECT * FROM start_game();

SELECT * FROM continue_game(1,TRUE);

SELECT * FROM continue_game(5,TRUE);

SELECT * FROM continue_game(4,TRUE);