http://sheremetov.com/programming/prolog/ Блог оптимистичного менеджера проектов Thu, 26 Jan 2012 14:07:09 +0000 hourly 1 http://wordpress.org/?v=3.0.4 http://sheremetov.com/programming/prolog/comment-page-1/#comment-4515 димон Thu, 27 May 2010 20:32:11 +0000 http://sheremetov.com/?p=395#comment-4515 поподуй написать по подробнее и по разнообразнее примеры дай , а то чёто непонятно что к чему поподуй написать по подробнее и по разнообразнее примеры дай , а то чёто непонятно что к чему

]]> http://sheremetov.com/programming/prolog/comment-page-1/#comment-4121 sheremetov Sun, 23 May 2010 21:53:31 +0000 http://sheremetov.com/?p=395#comment-4121 Есть такое, язык и вправду нетривиальный, если нет кому подсказать рядом то в реальных проектах, уверен, много дров наломать можно Есть такое, язык и вправду нетривиальный, если нет кому подсказать рядом то в реальных проектах, уверен, много дров наломать можно

]]> http://sheremetov.com/programming/prolog/comment-page-1/#comment-3391 divone Mon, 17 May 2010 05:29:01 +0000 http://sheremetov.com/?p=395#comment-3391 У меня его преподают в университете, очень сложно дается.. Уже год с ним мучаюсь, а толку 0 ) У меня его преподают в университете, очень сложно дается.. Уже год с ним мучаюсь, а толку 0 )

]]> http://sheremetov.com/programming/prolog/comment-page-1/#comment-198 Вторая часть небольшого экскурса в Пролог | В поисках успеха Thu, 17 Dec 2009 22:37:48 +0000 http://sheremetov.com/?p=395#comment-198 [...] Предыдущая статья о Прологе была явно поверхностной, попробую реабилитироваться. Ключевые элементы программы на прологе, это: факты и правила. В предыдущем примере фактами были: мужик(фродо_беггинс). родитель(банго_беггинс, бильбо_беггинс). Пример правила, выглядел так: папа(X, Y) :- мужик(X), родитель(X, Y). Факты могут иметь и более сложный вид: родитель(мужик (банго, беггинс), мужик (бильбо, беггинс)). Структура зависит от представления данных и логики приложения. Правила, они же, пердикаты, они же — утверждения, представляют собой, своего рода формулы: папа(X, Y) :- мужик(X), родитель(X, Y). Здесь X, Y — переменные, а запятая между утверждениями, выполняет роль логического «И». Логическое «ИЛИ» записывается как знак точки с запятой «;». Символом точки «.», заканчиваются все предложения (строки) в прологе. Универсальность использования утверждений, и главное отличие от функций в том как они могут быть использованы. Это проще всего пояснить на примере, опишем пердикат, сравнивающий два значения: compare(X,Y) :- X = Y. А вот два примера его использования: ?- compare(2,2). true. – сравниваем два числа, получаем результат ИСТИНА ?- compare(2,X). X = 2. – задаем одно из чисел и система «догадывается», какое значение сделает условие истинным. Несколько полезных ссылок: [...] [...] Предыдущая статья о Прологе была явно поверхностной, попробую реабилитироваться. Ключевые элементы программы на прологе, это: факты и правила. В предыдущем примере фактами были: мужик(фродо_беггинс). родитель(банго_беггинс, бильбо_беггинс). Пример правила, выглядел так: папа(X, Y) :- мужик(X), родитель(X, Y). Факты могут иметь и более сложный вид: родитель(мужик (банго, беггинс), мужик (бильбо, беггинс)). Структура зависит от представления данных и логики приложения. Правила, они же, пердикаты, они же — утверждения, представляют собой, своего рода формулы: папа(X, Y) :- мужик(X), родитель(X, Y). Здесь X, Y — переменные, а запятая между утверждениями, выполняет роль логического «И». Логическое «ИЛИ» записывается как знак точки с запятой «;». Символом точки «.», заканчиваются все предложения (строки) в прологе. Универсальность использования утверждений, и главное отличие от функций в том как они могут быть использованы. Это проще всего пояснить на примере, опишем пердикат, сравнивающий два значения: compare(X,Y) :- X = Y. А вот два примера его использования: ?- compare(2,2). true. – сравниваем два числа, получаем результат ИСТИНА ?- compare(2,X). X = 2. – задаем одно из чисел и система «догадывается», какое значение сделает условие истинным. Несколько полезных ссылок: [...]

]]>