Совсем недавно я начал экспериментировать с таблицами в Прологе; некоторые эксперименты, которые я провел с b-prolog и xsb можно найти в этом вопросе . Столы становились все больше и больше, и я понял, что мне нужно найти некоторые...

какой бы простой код я ни запускал в прологе Xsb, используя Eclipse IDE, он показывает мне такую ​​​​ошибку: ++ Ошибка [XSB/Runtime/P]: [Существование (процедура usermod: demo / 1 не существует)] [] Вперед Продолжение... ......

Мне нужно получить из ввода с клавиатуры (список) список без дубликатов, но без использования встроенного setof (или любых других встроенных функций) в прологе XSB. Как мне написать свою собственную функцию setof? Ввод и вывод должны выглядеть...

Как я могу имитировать мягкую резку ? *-> Т; E в ISO-прологе? У меня есть побочные эффекты, поэтому я не могу не вызывать его несколько раз. За исключением последнего требования, я думаю, что следующее определение работает: if_(I, T, E)...

Замените первые K вхождений числа любым другим числом. Учитывая, что 1 здесь заменено на 8. Вот как будет выглядеть мой предикат replace_first_k(3,[1,2,3,1,1,5,6,1,7],X). Это должно дать следующий вывод - E = [8,2,3,8,8,5,6,1,7]...