Bar(erjan, kitap(botakoz, avtor(sabit_vuxanov))). Фактінің аргументтері: Ержан , кітап. Ал, кітап – күрделі құрылымды ішкі
компонент, оның аргументтері: Ботакөз, автор.
Жай жақшаның алдына жазылатын атомды функтор деп, құрылым атомын бас
функтор деп атайды. Мысалы, жоғарғы «бар» фактісінде:
Бас функтор – бар, функторлар – кітап, автор. Құрылымның жазылу синтаксисі:
Бас функтор(<компонент>[<компонент>,...]). Құрылым компоненттері не олардың аргументтері айнымалылар болуы да мүмкін.
Олар сұраққа енгізіледі. Мысалы, «Ержанда бар кітаптың аты қандай және авторы кім?»
сұрағына былай жауап беруге болады:
