Предикат readterm/2

Предикат readterm считывает сложные термы и превращает их в объекты.

Он имеет следующий формат:

readterm(DomainName, Term) /* ( i,i ) */

Вы вызываете readterm с двумя аргументами: именем домена и термом.

readterm читает строку и превращает ее в объект данного домена. Если

строка не будет иметь вид объекта, сформиронного предикатом write,

readterm даст ошибку.

Предикат readterm может использоваться для обработки термов в текс-

товых файлах. Например, вы можете создать собственные версии save и

consult. Более детльно предикат readterm обсуждается в Главе 9, где опи-

сывается использование readterm для доступа к базе данных на дисковом

файле.