Facts for structs

While presenting a Prolog talk, an attendee asked about asserting
records as facts.  As far as I know, library(record) offers no support
for that feature but it seems quite useful.