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 :: Содержание