;;;TODO-1 Определяет функцию list-Average, которая вычисляет среднее значение списка....
Для этой задачи мне поручено реализовать функцию, которая решает вывод дерева решений с учетом...
Так что я все еще относительно новичок в acl2 и lisp, я не знаю, как это сделать в lisp.Как я могу...
(defun listmover-fun (l n) (if (= n (len l))) (last l ) (position n 1) listmover-fun (l n+1) )...
Я очень новичок в ACL2, поэтому я понимаю, что некоторые из вас могут подумать, что это такое...
Мне нужно сделать что-то подобное, но в ACL2: for (i=1; i<10; i++) { print i; } Он использует...