A.45 library(record): Access named fields in a term
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(record)).(can be autoloaded)
Sourcerecord(+Spec)
The construct :- record Spec, ... is used to define access to named fields in a compound. It is subject to term-expansion (see expand_term/2) and cannot be called as a predicate. See section A.45 for details.