Преобразование, определяемые пользователем

Пользователь может определить преобразование, не предусмотренные предикатами. Например: целые числа в действительные и наоборот.

predicates

      conv_real_int (real, integer)

clauses

      conv_real_int (R, N):- R=N.

Преобразование строк в списки атомов с функторов

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

fruct (apple)

fruct (peach)

fruct (orange)

fruct (pear)

Включает преобразование строки в список, который содержит имя функтора.

[fruct (apple), fruct (peach), fruct (orange), fruct (pear)]

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