3
ответа
Как я могу реализовать алгоритм объединения на языке как Java или C#?
Я работаю через свой учебник AI, который я получил, и я пришел к последней проблеме домашней работы для своего раздела: "Реализуйте Алгоритм Объединения, обрисованный в общих чертах на странице 69 на любом языке по Вашему выбору". На странице...
вопрос задан: 17 September 2012 13:16
3
ответа
Пример реального мира Объединения в Логике первого порядка?
Я знаю, что это - только часть вопроса о программировании, но в данный момент, я делаю определенное логическое программирование. Одной вещью, которую я все еще не понимаю правильно, является Объединение в Логике первого порядка. Я...
вопрос задан: 2 June 2010 21:36
2
ответа
Объединение высшего порядка
Я работаю над программой автоматического доказательства теоремы высшего порядка, которой объединение, кажется, самая трудная подпроблема. Если алгоритм Huet все еще считают современным, делает у любого есть любые ссылки на...
вопрос задан: 24 February 2010 12:32
2
ответа
На вид ненужный случай в алгоритме объединения в SICP
Я пытаюсь понять алгоритм объединения, описанный в SICP здесь В частности, в процедуре "extend-if-possible", существует проверка (первое место, отмеченное с Астериксом "*"), который является...
вопрос задан: 5 August 2009 00:04
1
ответ
Пролог по сравнению с = со списками
То, почему делает этот сбой L, [1,2,3,4], и это работает: L = [1,2,3]? Но L равняется 1, и L = 1 оба работают то же.
вопрос задан: 24 January 2012 18:03
1
ответ
Кто такой оптимальный “самый общий объединитель” алгоритм?
Вопрос, Каков самый эффективный алгоритм MGU? Какова его временная сложность? Действительно ли достаточно просто описать как ответ переполнения стека? Я пытался найти ответ на Google, но...
вопрос задан: 16 May 2009 09:24
0
ответов
Удаление всех членов списка без объединения в Prolog [duplicate]
Возможный дубликат: Prolog delete: не удаляет все элементы, которые объединяются с Element В Prolog если написать так: delete([(1,1),(1,2),(1,1),(3,4)],(1,_),L). то результатом будет: L = [ (1, ...
вопрос задан: 23 May 2017 12:30
0
ответов
Что такое алгоритм объединения?
Я знаю, это может показаться немного странным, но да, мой вопрос: «Что такое объединение алгоритм".
Ну, я пытаюсь разработать приложение на F #, которое будет действовать как Prolog. Это должно занять серию ...
вопрос задан: 23 May 2017 09:58
0
ответов
Почему SWI-Prolog объединяет строку в кавычках и без кавычек (без пробелов) в одно правило?
Предположим, у меня есть следующие правила: unify ('тест', 'это тест').
run: - write ('Введите что-нибудь:'), прочитайте (X), объедините (X, Y), запишите ('Ответ'), напишите (Y). А затем я запускаю ...
вопрос задан: 26 January 2014 00:40
0
ответов
Создать экземпляр переменной типа в Haskell
РЕДАКТИРОВАТЬ: Решено. Я не знал, что включение языкового расширения в исходном файле не включило языковое расширение в GHCi. Решение было: установить FlexibleContexts в GHCi. Недавно я ...
вопрос задан: 28 July 2012 19:27
0
ответов
Алгоритм Хиндли-Милнера: использование типов для обеспечения применения привязок
Я реализую алгоритм вывода типа Хиндли-Милнера, следуя руководствам Марка Джонса и Олег Киселев. Оба из них имеют операцию «применить привязки» с типом примерно такой формы
...
вопрос задан: 15 March 2012 08:39
0
ответов
GHC отклоняет код монады ST как неспособный объединить переменные типа?
Я написал следующую функцию: (.> =.) :: Num a => STRef sa -> a -> Bool
r.> =. x = runST $ do v <- readSTRef r return $ v> = x, но когда я попытался скомпилировать, я получил ...
вопрос задан: 4 November 2011 09:21
0
ответов
Проверить, содержит ли строка все «?»
Как я могу проверить, содержит ли строка все вопросительные знаки? Примерно так: string input = "????????";
вопрос задан: 25 May 2011 18:38
0
ответов
Различия между сопоставлением с образцом и унификацией?
Я думал, что понимаю, чем сопоставление с образцом, такое как в Scala и Haskell, отличается от унификации, найденной в Prolog, но мое непонимание Prolog велико. Какие простые проблемы ...
вопрос задан: 14 December 2010 19:21