|
|
Регистрация Восстановить пароль |
Повторная активизация e-mail |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
Опции темы | Поиск в этой теме |
31.10.2011, 14:56 | #1 |
Новичок
Джуниор
Регистрация: 31.10.2011
Сообщений: 1
|
Программирование на Прологе
Срочно нужна помощь в выполнении работы...
Разработайте в соответствии с заданием программу на ПРОЛОГе, обеспечивающую интерактивный ввод данных с использованием системных предикатов организации оконного интерфейса. Обеспечьте вывод всех возможных решений. Программы, включающие предикаты, допускающие множественное использование, должны обеспечивать всестороннее их тестирование. Дайте декларативное толкование программы. Условные обозначения: описание каждого предиката включает имя предиката и список его аргументов, заключенных в круглые скобки. Символ, стоящий перед каждым из аргументов, показывает его использование. Аргументы, помеченные символом "+", являются входными для предиката и должны быть означены перед использованием предиката. Аргументы, помеченные символом "-", являются выходными и получают значение в результате применения предиката. Символ "?" перед аргументом означает, что данный аргумент может быть как означенным, так и неозначенным в зависимости от использования предиката. Задание: divide(+List,?Halfl,?Half2). Предикат divide делит список List на две части. Список делится путем помещения первого элемента списка List в список Halfl, второго - в список Half 2 и т.д. Привести протокол работы программы для цели: divide([a,b,c,d,e],Half1,Half2). |
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
дедуктивность в прологе с бд | hunter03 | Помощь студентам | 4 | 08.10.2011 11:57 |
Задача на Прологе | VikaR | Помощь студентам | 1 | 01.07.2011 22:36 |
программки на прологе | qweerity | Помощь студентам | 0 | 12.04.2011 19:01 |
Задача на прологе | Fenixbo | Помощь студентам | 6 | 22.01.2011 00:23 |
задачи на Прологе | Svetlashka | Помощь студентам | 0 | 04.01.2010 20:43 |