Основы современных компьютерных технологий


Стандартные предикаты - часть 4


s - формат как строка (символов и строк).

asserta()(dbasedom):(вx)

Заносит факт (утверждение) в начало резидентной базы данных (домен, обозначенный как dbasedom, автоматически объявляется для каждого предиката из раздела database).

assertz(X)(dbasedom):(вx)

Заносит факт (утверждение) X в конец резидентной базы данных.

327

retract(X):(Bx)

В базе данных осуществляется поиск утверждения, голова и тело которого сопоставляются с термом X. Первое такое утверждение удаляется из базы данных. Аргумент (терм X) должен быть конкретизирован составным термом.

retractall(X):(Bx)

Удаляет из базы данных все утверждения, функтор и арность которых сопоставимы с Х.

frontchar(Стр, ПерСимв,OcтCтp)(string,char,string):

(вх,вых,вых), (вх,вх,вых), (вх,вых,вх), (вх,вх,вх),(вых,вх,вх)

(вх,вых,вых): присваивает первый символ строки Стр переменной ПерСимв, а остаток строки - переменной ОстСтр. Возможны и другие комбинации входных и выходных аргументов.

frontstr(ЧислСимв,Стр1,НачСтр,Стр2)(integer,string,string,string):(вх, вх, вх, вых)

Присваивает первые ЧислСимв символов строки Стр 1 переменной НачСтр, а остаток строки - переменной Стр2.

fronttoken(Cтp,3нaк,OcтCтp)(string, string, string):

(вх,вых,вых),(вх, вх,вых),(вх,вых,вх),(вх,вх,вх),(вых,вх,вх)

(вх,вых,вых): переменной Стр присваивается результат конкатенации Знаки ОстСтр. Знак может быть группой символов, задающих допустимое имя, либо символьным представлением числа, либо одиночным символом, отличным от пробела. В других комбинациях входных и выходных аргументов должны быть означены минимум два аргумента предиката.

cursor(Cтp,Kол)(integer,integer):(вх,вх),(вых, вых)

(вх,вх): помещает курсор в позицию с координатами (Стр,Кол).

328

325 :: 326 :: 327 :: 328 :: Содержание




Начало  Назад  Вперед