Поиск по:uneex.lorien.cs.msu.su -
Поискать по всем серверам
На этой странице приведены все страницы сервера uneex.lorien.cs.msu.su ,которые мы индексируем. Показаны документы 5181 - 5200 из 5242.
Упорядочить по:
URL
|
дате изменения
5181. Логика и Пролог
... Ранее мы уже познакомились с частью логики, называемой исчислением высказываний . ... Хранят программы на языке Пролог в текстовых файлах, чаще всего имеющих расширение pl , например, example1.pl . ... При использовании первого варианта в квадратных скобках записывается имя файла (без pl ), например, ?- [example1]. ... Второй способ состоит в вызове встроенного предиката consult , которому в качестве аргумента передается имя файла (также без расширения), например: ?- consult(example1). ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/00_logic/index.html -- 7.4 Кб -- 06.09.2008
Похожие документы
Похожие документы
5182. Термы и объекты
Программа на языке Пролог обычно описывает некую действительность. Объекты (элементы) описываемого мира представляются с помощью термов. Терм интуитивно означает объект. Существует 4 вида термов: атомы, числа, переменные и составные термы . ... В Прологе атом представляется последовательностью букв нижнего и верхнего регистра, цифр и символа подчеркивания '_', начинающейся со строчной буквы. Кроме того, любой набор допустимых символов, заключенный в апострофы, также является атомом. ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/01_term/index.html -- 6.2 Кб -- 06.09.2008
Похожие документы
Похожие документы
5183. Факты
... В разговорной речи под фактом понимается нечто вроде "Сегодня солнечно" или "Васе 10 лет". ... Гораздо удобнее использовать параметризованные факты, работу с которыми поддерживает логика предикатов. ... База данных на Прологе - это совокупность фактов. ... Составим базу данных из следующих фактов: "слон больше, чем лошадь", "лошадь больше, чем осел", "осел больше, чем собака" и "осел больше, чем обезьяна": больше(слон, лошадь). больше(лошадь, осел). больше(осел, собака). больше(осел, обезьяна). ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/03_fact/index.html -- 6.9 Кб -- 06.09.2008
Похожие документы
Похожие документы
5184. Запросы к базе данных
... С помощью запросов можно "спрашивать" базу данных о том, какие утверждения являются истинными. ... Они допускают лишь два возможных ответа: "Yes" означает наличие соответствующего факта в базе данных (первый запрос примера, приведенного ниже), "No" - его отсутствие (второй запрос). ... Загрузите в Пролог базу данных "Цвет" (файл task1.pl ) и сформулируйте к ней следующие запросы. а) Машина красного цвета? . ... Сформулируйте запросы к измененной базе данных. а) Какого цвета машина? . ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/04_query/index.html -- 5.0 Кб -- 06.09.2008
Похожие документы
Похожие документы
5185. Унификация
Унификация есть основной механизм обработки запросов в логическом программировании. ... 1) Переменная унифицируется с атомом или составным термом. ... X=коля. X=коля Yes 2) Переменная унифицируется с переменной , при этом они обе становятся как бы одной и той же переменной. ... X = борис Yes ?- дедушка(борис, Y)=отец(X). ... Термы больше(Х, собака) и больше(осел, собака) унифицируются, потому что переменная X может быть конкретизирована атомом осел : ?- больше(Х,собака) = больше(осел,собака). ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/05_unific/index.html -- 5.0 Кб -- 06.09.2008
Похожие документы
Похожие документы
5186. http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/06_rules/family.pl
женщина(анна). женщина(юлия). женщина(галина). женщина(елена). мужчина(борис). мужчина(антон). мужчина(олег). мужчина(павел). родитель(анна,юлия). родитель(анна,антон). родитель(анна,борис). родитель(олег,юлия). родитель(олег,антон). родитель(олег,борис). родитель(галина,анна). родитель(галина,елена). родитель(борис,павел).
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/06_rules/family.pl -- 1.4 Кб -- 06.09.2008
Похожие документы
Похожие документы
5187. Правила
Кроме фактов программы на языке Пролог могут содержать правила , позволяющие получать дополнительные знания о том мире, который описывает программа. ... Правило, определяющее отношение ребенок/2 через отношение отец/2 , запишется следующим образом: ребенок(X, Y) :- отец(Y, X). ... Определим отношение мать/2 через отношения родитель/2 и женщина/1 следующим образом: матерью X для человека Y является его родитель женского рода. мать(X, Y) :- родитель(X, Y), женщина(X). ... X=анна Y=юлия Yes ?- мать(X). ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/06_rules/index.html -- 5.7 Кб -- 06.09.2008
Похожие документы
Похожие документы
5188. Рекурсия
Рекурсия в большинстве языков программирования - это такой способ организации обработки данных, при котором программа (процедура) вызывает сама себя непосредственно, либо с помощью другой программы (процедуры). ... Пусть имеются следующие факты: больше(слон, лошадь). больше(лошадь, осел). больше(осел, собака). больше(осел, обезьяна). ... Однако, мы знаем, что слоны больше, чем лошади, которые в свою очередь больше, чем ослы, которые больше обезьян, поэтому слоны также должны быть больше, чем обезьяны. ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/07_recurs/index.html -- 9.1 Кб -- 06.09.2008
Похожие документы
Похожие документы
5189. Базы знаний
Как уже отмечалось, программа на языке Пролог, содержащая факты и правила, составляет базу знаний. При разработке программ на Прологе часто используют встроенные предикаты , т. е. предикаты, определяемые автоматически при инициализации интерпретатора Пролога. ... Пример . ... Yes . ... X = слон, write(X), nl. слон X = слон Yes . В последнем примере сначала переменная X унифицируется с атомом слон , а затем значение переменной X , т. е. слон , выводится на экран при помощи предиката write/1 . ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/08_programm/index.html -- 6.5 Кб -- 06.09.2008
Похожие документы
Похожие документы
5190. Логические задачи
... В автомобильных гонках три первых места заняли Алеша, Петя и Коля. Какое место занял каждый из них, если Петя занял не второе и не третье место, а Коля - не третье? Имя . I место . ... III место . Алеша . ... Традиционным способом задача решается заполнением таблицы.По условию задачи Петя занял не второе и не третье место, а Коля - не третье. ... Коля занял не третье место */ соответствие(X, Y) :- имя(X), X=коля, место(Y), not(Y=третье). соответствие(X, Y) :- имя(X), X=алеша, место(Y). ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/09_logik_task/index.html -- 6.8 Кб -- 06.09.2008
Похожие документы
Похожие документы
5191. Работа с числами
В языке Пролог имеется ряд встроенных функций для вычисления арифметических выражений, некоторые из которых перечислены в таблице. ... Абсолютная величина числа X . ... sin(X) . ... float(X) . ... В следующих примерах переменная X унифицируется со значениями арифметических выражений: ?- ... Предикат float заставит считать значение sin(pi/2) вещественным числом: ?- 1.0 is float( sin(pi/2)). ... Цель X > Y (больше) будет успешна, если выражение X будет соответствовать большему числу, чем выражение Y . ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/10_arifm/index.html -- 7.2 Кб -- 06.09.2008
Похожие документы
Похожие документы
5192. Примеры программ
... Если требуется, например, переменной R присвоить значение, равное умноженному на три большему из двух выражений X и Y , то, используя определенную ниже процедуру максимум , это можно записать так: максимум(X,Y,Z), R is 3*Z. (скачать файл с примерами) . Пример . ... X = 50 Yes ?- максимум(100,50,X). ... X = 100 Yes Последний ответ показывает, что наш предикат позволяет находить ответ на вопросы типа: "Каково должно быть число, чтобы максимум из искомого числа и числа 50 равнялся бы 100?" ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/11_number_task/index.html -- 8.5 Кб -- 06.09.2008
Похожие документы
Похожие документы
5193. http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/11_number_task/max.pl
максимум (X,X,X). максимум (X,Y,X):- X Y. максимум (X,Y,Y):- X Y. гипотенуза (X,Y,Z):- number (X), number (Y), Z is sqrt(X**2 + Y**2). мин_гип(A1,B1,A2,B2, Min ):- гипотенуза (A1,B1,C1), гипотенуза (A2,B2,C2), Min is min (C1,C2). сумма (X,Y):- integer (X), X 10, Y is X. сумма (X,Y):- integer (X), X1 is X//10, сумма (X1,Y1), Z is X mod 10, Y is Y1+Z. печать_суммы:- ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/11_number_task/max.pl -- 1.7 Кб -- 06.09.2008
Похожие документы
Похожие документы
5194. Списки
Списки - одна из наиболее часто употребляемых структур в Прологе. При записи список заключают в квадратные скобки, а элементы списка разделяют запятыми, например, [слон, лошадь, обезьяна, собака] Это список из четырех атомов - слон, лошадь, обезьяна, собака . ... Вот пример списка с несколько более сложной структурой: [слон, [ ], X, предок(Х, том), [a,b,c], f(22)] . ... Работа процедуры завершится, когда все перестановки будут исчерпаны: ?- все_перестановки(['маркиза', 'ваши прекрасные глаза', | ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_10_prolog/12_list/index.html -- 8.6 Кб -- 06.09.2008
Похожие документы
Похожие документы
5195. http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_11_ruby/00_ruby/hello.rb
#!/usr/bin/env ruby =begin Это комментарий =end # Это тоже комментарий # Инструкция заканчивается концом строки puts "Hello, World!" # Несколько инструкций в одной строке puts "Это тест, "; puts "демонстрирующий работу Ruby." # Незаконченная инструкция, # продолжение которой на следующей строке puts "Программирование на Ruby - " + "приятное занятие." # Утверждение, разделенное на несколько строк puts \ "И мы обязательно этому научимся!"
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_11_ruby/00_ruby/hello.rb -- 1.4 Кб -- 06.09.2008
Похожие документы
Похожие документы
5196. Язык программирования Ruby
Ruby - один из самых молодых языков программирования. ... Пользователям ОС Linux следует поместить в начало файла с текстом программы следующую строку: #!/usr/bin/env ruby Она обязательно должна начинаться с первой позиции. ... Программа на языке Ruby, часто называемая скриптом, есть последовательность инструкций (утверждений, предложений). ... Пример #!/usr/bin/env ruby # Инструкция заканчивается концом строки puts "Hello, World!" ... Далее строка #!/usr/bin/env ruby в тексты программ не включается. ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_11_ruby/00_ruby/index.html -- 7.8 Кб -- 06.09.2008
Похожие документы
Похожие документы
5197. Объекты и методы
... Каждый объект есть представитель (экземпляр) некоторого класса и его поведение (функциональность) определяется именно им. Тем самым все объекты, которые являются экземплярами одного класса, могут выполнять одни и те же действия, называемые методами. ... числа . ... строки . ... Для получения строки, содержащей символ с заданным ASCII кодом, используется метод chr , например, puts 209.chr Следует помнить, что этот метод может быть применен только к положительному целому числу, не превышающему 255. ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_11_ruby/01_object/index.html -- 20.7 Кб -- 06.09.2008
Похожие документы
Похожие документы
5198. http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_11_ruby/01_object/object.rb
#!/usr/bin/env ruby puts 5/8 # 0 puts 5.0/8 # 0.625 puts 2**1000 puts ((2*500+1)*(2**500-1)) =begin puts (2**30-1).type a=0b001_001 puts a puts a.type a=12.34 puts a puts a.type a=12.34e2 puts a puts a.type =end puts 12.34.ceil # 13 puts 12.34.floor # 12 puts -12.ceil # -12 puts -12.floor # -12 puts 12.34.round # 12 puts 12.54.round # 13 puts -34.56.abs # 34.56 puts -12.34.to_i # -12 puts 1234.to_f # 1234.0 =begin puts 123_456_789.type puts 0xaabb puts -0b1010/0b10 puts 2/3.to_f =end
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_11_ruby/01_object/object.rb -- 1.7 Кб -- 06.09.2008
Похожие документы
Похожие документы
5199. http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_11_ruby/01_object/print.rb
usr/bin/env ruby puts puts всегда завершается переходом к новой строке. print А оператор print не делает этого по умолчанию, print как вы видите в этом примере.\n print print может быть вызван сразу , с несколькими аргументами.\n p Time.now , Time.now +3600 printf %8s~~%-8s\n , abcd , abcd ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_11_ruby/01_object/print.rb -- 1.6 Кб -- 06.09.2008
Похожие документы
Похожие документы
5200. http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_11_ruby/01_object/string.rb
usr/bin/env ruby puts ' hello ' # hello puts %q/ hello / # hello puts %q( hello ) # hello puts ' hell \\o' # hell \o puts %q( hell \\o) # hell \o puts ' hell \'o' # hell 'o puts %q( hell \'o) # hell \'o puts 'hel l o' # hel l o puts hello puts %Q/ hello / puts %Q! hello ! puts %Q{ hello } Неправильный вызов метода print "Введите команды:" eval gets.chop! =end ...
[
Сохраненная копия
]
Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_11_ruby/01_object/string.rb -- 2.7 Кб -- 06.09.2008
Похожие документы
Похожие документы