4.14.2 The recorded database
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Built-in Predicates
Database
The recorded database
recorda/3
recorda/2
recordz/3
recordz/2
recorded/3
recorded/2
erase/1
instance/2
Packages
Availability:
built-in
instance
(
+Reference, -Term
)
Unify
Term
with the referenced clause or database record. Unit clauses are represented as
Head
:-
true
.