рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Типы данных KL

Типы данных KL - раздел Программирование, Обзор языков логического программирования Типы Данных Kl. Рассмотрим В Общих Чертах Некоторые Базовые Типы Данных Языка...

Типы данных KL. Рассмотрим в общих чертах некоторые базовые типы данных языка. К ним относятся символы, целые и действительные числа, строки и др. Символы в основном предназначены для представления символьных атомов Пролога и, как правило, никак не связаны ни со строками символов, используемыми для текстуального представления программ, ни с определениями предикатов, в которых символы задают имена предикатов. Такие атрибуты при необходимости могут быть приписаны символам средствами ESP ESP язык логического программирования.

К особенностям этого языка, отличающим его от Пролога можно отнести модульность, макросредства, глобальные данные KL0 более прост и не поддерживает подобных механизмов.

В этом отношении он только обеспечивает структуры данных прямого доступа и стандартную функцию хеширования для доступа к определениям атрибутов в хеш-таблице. Символы в KL0 можно проверять только на идентичность. Целые и действительные числа введены для эффективного выполнения арифметических операций. Арифметические операции в KL0 не обладают свойством двойственности сложение и вычитание здесь различные предикаты.

Аппаратно поддерживаются только числа фиксированной длины, определяемой разрядной сеткой. Целые числа произвольной длины bignums, действительные числа произвольной точности и, возможно, рациональные числа могут быть реализованы с помощью обработчика исключений. Исключение возбуждается, если операндами встроенных арифметических предикатов машинных инструкций в традиционном смысле являются, например, нечисловые данные. Обработчик исключения может проверить аргументы и, если они соответствуют ожидаемым, выполнить предписанные операции в противном случае вызывается обработчик ошибок.

После обработки исключения дальнейшее выполнение программы может быть возобновлено. Строки представляются одномерными массивами небольших положительных целых. Размер элементов массива зависит от диапазона значений элементов строки и может изменяться от одной строки к другой. Для представления битовых массивов, используемых для хранения образов графических изображений в памяти, введены строки с однобитовыми элементами.

Для представления символов в коде ASCII используются строки с размером элемента 8 бит. 2.5.3.

– Конец работы –

Эта тема принадлежит разделу:

Обзор языков логического программирования

Машина фон Неймана содержит большую память и процессор, снабженный локальной памятью, ячейки которой называются регистрами. Процессор может загружать данные из памяти в регистры, выполнять… Хотя компьютеры предназначены для использования людьми, возникающие при их создании трудности были столь значительны,…

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Типы данных KL

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Чистый Полог
Чистый Полог. Взаимосвязь логического программирования и языка Пролог напоминает взаимосвязь лямбда-исчисления и языка Лисп. Оба этих языка являются конкретной реализацией абстрактных вычислительны

Сравнение с традиционными языками программирования
Сравнение с традиционными языками программирования. Язык программирования характеризуется присущими ему механизмами управления и обработки данных. Пролог как универсальный язык программирования мож

Программирование на чистом Прологе
Программирование на чистом Прологе. Основная цель логического программирования создать возможность разработки программ на языке высокого уровня. В идеале программист должен записать аксиомы, опреде

Проблема завершения программ
Проблема завершения программ. Используемый в Прологе принцип обхода дерева в глубину приводит к серьзным проблемам. Если дерево поиска цели относительно некоторой программы содержит бесконечную вет

Избыточные решения
Избыточные решения. При построении программ на Прологе следует обратить внимание на важную характеристику программы, не имеющую аналогов в логическом программировании отсутствие избыточных решений.

Практические рекомендации
Практические рекомендации. При практическом программировании следует заботиться об эффективности программ, учитывать ограничения, связанные с конкретной реализацией, используемой системой пр

Эффективность программ на Прологе
Эффективность программ на Прологе. В практическом программировании на Прологе необходимо обращать внимание на эффективность программ. Установим критерии оценки программ. Основной оцениваемый

Разработка программ
Разработка программ. Программирование на Прологе настолько близко к записи спецификаций, насколько это доступно для практического языка программирования. Поэтому кому-нибудь может показаться, что в

Язык логического программирования KL
Язык логического программирования KL. KL0 от англ. kernel-language version 0 ядро-язык версии 0 язык, в основу которого положено расширение языка логического программирования Пролог. Среди особенно

Язык программирования ShapeUp
Язык программирования ShapeUp. ShapeUp - ещ один язык логического программирования, в основу которого положен Пролог, расширенный средствами сопоставления строк. В ShapeUp образцы строк рассматрива

Lisp язык функционального программирования
Lisp язык функционального программирования. Почему я решил заострить внимание на Лиспе. Дело в том, что кроме функционального программирования которое является основным в Лиспе в этом языке

Лисп в истории программирования
Лисп в истории программирования. Лисп является наиболее важным языком программирования, используемым в исследованиях по искусственному интеллекту и в математической лингвистике. Лисп ни в ка

Логическое программирование на Лиспе
Логическое программирование на Лиспе. Лисповские функции, как и написанные на традиционных языках программы, обрабатывают данные в порядке, задаваемом описанием алгоритма, несмотря на то, что эту п

Используемая литература
Используемая литература. И. Братко Программирование на языке Пролог для искусственного интеллекта. М Мир 1990г. 2. Язык Пролог в пятом поколении ЭВМ. Сборник статей под редакцией Ильинского.

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги