,term_n), n>=1 Liczbę argumentów w termie złożonym nazywa się arnością. Listy
Listy często traktuje się jako specjalny typ termu złożonego albo osobny typ w zależności od uczonego. Listy zawierają argumenty zamknięte w nawiasy kwadratowe, oddzielone przecinkami, np. [pies, kot, y, [p,q,R], miasto(poznan)]. Lista bez elementów jest pustą listą, którą zapisuje się w ten sposób []Bramer M. (2013) Logic Programming with Prolog.
Często spotykaną interpretacją termu jest drzewo etykietowane.
Przypisy
Kategoria:Prolog Kategoria:Automatyczne dowodzenie twierdzeń Kategoria:Logika matematyczna