У меня есть приведенный ниже код в Прологе, и проблема в том, что когда я запускаю код, он возвращает для всех данных тот же результат. ?- run(Diagnosis). Diagnosis='There is no problem with anemia'. КБ находится в другом файле и загружаю...

У меня есть файл, содержащий несколько утверждений ACSL ( file.c ): #include <stdio.h> #include <stdlib.h> void foo() { int a=0; //@ assert(a==0); } void print(const char* text) { int a=0; //@ assert(a==0);...

Я новичок в Прологе, и я пытаюсь сделать сортировку выбором. Вот что у меня есть: ssort([],[]). ssort([M|S],L):-min(M,L),remove(M,L,N),ssort(S,N). min(M,[M]). min(M,[H,T]):-min(N,T),min2(M,H,N). min2(A,A,B):-less(A,B)....

Имея список целых чисел, скажем, x = [5, 10, 6, 12, 10, 20, 11, 22], напишите одно выражение, которое возвращает True, если все нечетные значения индекса в два раза больше предыдущих значений. Нам нужно использовать пропуск фрагментов, zip, все и...