Define access predicates for a compound-term. RecordDef is of
the form <constructor>(<argument>, ...), where each argument
is of the form:
- <name>[:<type>][=<default>]
Used a directive, :- record Constructor(Arg, ...)
is expanded
info the following predicates:
<constructor>_<name>
(Record, Value)
<constructor>_data
(?Name, ?Record, ?Value)
default_<constructor>
(-Record)
is_<constructor>
(@Term)
make_<constructor>
(+Fields, -Record)
make_<constructor>
(+Fields, -Record, -RestFields)
set_<name>_of_<constructor>
(+Value, +OldRecord, -New)
set_<name>_of_<constructor>
(+Value, !Record)
nb_set_<name>_of_<constructor>
(+Value, !Record)
set_<constructor>_fields
(+Fields, +Record0, -Record).
set_<constructor>_fields
(+Fields, +Record0, -Record, -RestFields).
set_<constructor>_field
(+Field, +Record0, -Record).
user:current_record
(:<constructor>)