Разработка программного модуля, моделирующего работу цифровой схемы

    nl,write("Input: ", I0, I1, I2, I3, I4, I5),nl,

    write("Temporary ", T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14),nl,

    write("Output: ",O0, O1, O2, O3),

    nl.

goal

ispRab(I0,I1,I2,I3,I4,I5,O0,O1,O2,O3).

Модель исправной работы схемы  представлена на рисунке 2.

Рисунок 2 – Модель работы схемы.

Очевидно, что имеется 64 возможных состояний данной схемы.

Список использованных источников

1. Адаменко А.Н., Кучуков А.М. «Логическое  программирование и Visual Prolog»,  БХВ-Петербург, 2003. – 992 с.

2. Ж.-Л. Лорьер. «Системы искусственного  интеллекта», М.: Мир, 1991г. - 568 с.

3. Стерлинг Л., Шапиро Э. «Искусство  программирования на языке Пролог».  – М.: Мир, 1990.

4. Цифровые интегральные микросхемы: Справ./ М.И. Богданович, И.Н. Грель,  В.А. Прохоренко, В.В. Шалимо.- Мн.:Беларусь, 1991. - 493 с.: ил.

5. Каган Б.М. Электронные вычислительные  машины и системы: Учеб. пособие  для вузов.- М.: Энергия, 1979.- 528с.