Некоторые операции и предикаты swi-prolog



Скачать 426,49 Kb.
страница1/2
Дата16.05.2021
Размер426,49 Kb.
  1   2

 Главная Категории



Некоторые операции и предикаты SWI-Prolog

Операция / Предикат

Назначение

true

Истина

fail, false

Ложь

=

Для переменной, стоящей слева от операции: · свободной – присваивание без преобразования (вычис­ле­ния) выражения справа от операции; · связанной – сравнение без преобразования (вычисления) выражения справа от операции.

<, =<, >=, >

Арифметические (только для чисел) операции сравнения

=:=

Арифметическое равенство

=\=

Арифметическое неравенство

is

Для переменной, стоящей слева от операции: · свободной – присваивание с преобразованием (вычис­ле­нием) выражения справа от операции; · связанной – сравнение с преобразованием (вычислением) выражения справа от операции.

@<, @=<, @>=, @>

Операции сравнения для констант и переменных любого типа (чисел, строк, списков и т. д.)

==

Равенство констант и переменных любого типа

not(A)

Отрицание логического выражения A

read(A)

Чтение значения с клавиатуры и присваивание его переменной А

write(A)

Печать А на экран с установкой курсора после последнего напечатанного символа

writeln(A)

Печать А на экран с переводом курсора в начало следующей строки

nl

Перевод курсора в начало следующей строки

repeat

Предикат, выдающий новое истинное значение при возврате. Передоказываемый предикат

!

Предикат (cut, сократить), запрещающий возврат далее той точки, где он стоит

 

Программирование в SWI-Prolog возможно в разных вариантах:

· с помощью стандартной offline-среды[6] программирования (http://www.swi-prolog.org);

Рис. 1. Стандартная offline-среда программирования SWI-Prolog

 

· с помощью offline-среды программирования SWI-Prolog-Editor (http://lakk.bildung.hessen.de/netzwerk/faecher/informatik/swiprolog/indexe.html);



 

Рис. 2. Среда программирования SWI-Prolog-Editor

· с помощью стандартной online-среды[7] программирования SWI-Prolog (http://swish.swi-prolog.org);

 

 

Рис. 3. Стандартная online-среда программирования SWI-Prolog



 

Дальнейшая работа со SWI-Prolog рассматривается на примере online-среды.

 

<1234567>

Дата добавления: 2017-09-19; просмотров: 2070ЗАКАЗАТЬ НАПИСАНИЕ РАБОТЫ















Поделитесь с Вашими друзьями:
  1   2


База данных защищена авторским правом ©psihdocs.ru 2019
обратиться к администрации

    Главная страница