category
recorded_database_core
Legacy recorded database predicates. Can be imported into an object to provide a local database.
Availability:
logtalk_load(recorded_database(loader))Author: Paulo Moura
Version: 1:0:0
Date: 2023-12-17
Compilation flags:
staticDependencies:
(none)
Remarks:
References: Opaque ground terms.
Inherited public predicates:
(none)
Public predicates
recorda/3
Adds a term as the first term for the given key, returning its reference.
Compilation flags:
staticTemplate:
recorda(Key,Term,Reference)Mode and number of proofs:
recorda(+recorded_database_key,+term,--recorded_database_reference) - one_or_errorExceptions:
Key is a variable:instantiation_errorKey is neither a variable nor an atomic term or compound term:type_error(recorded_database_key,Key)Reference is a not a variable:uninstantiation_error(Reference)recorda/2
Adds a term as the first term for the given key.
Compilation flags:
staticTemplate:
recorda(Key,Term)Mode and number of proofs:
recorda(+recorded_database_key,+term) - one_or_errorExceptions:
Key is a variable:instantiation_errorKey is neither a variable nor an atomic term or compound term:type_error(recorded_database_key,Key)recordz/3
Adds a term as the last term for the given key, returning its reference.
Compilation flags:
staticTemplate:
recordz(Key,Term,Reference)Mode and number of proofs:
recordz(+recorded_database_key,+term,--recorded_database_reference) - one_or_errorExceptions:
Key is a variable:instantiation_errorKey is neither a variable nor an atomic term or compound term:type_error(recorded_database_key,Key)Reference is a not a variable:uninstantiation_error(Reference)recordz/2
Adds a term as the last term for the given key.
Compilation flags:
staticTemplate:
recordz(Key,Term)Mode and number of proofs:
recordz(+recorded_database_key,+term) - one_or_errorExceptions:
Key is a variable:instantiation_errorKey is neither a variable nor an atomic term or compound term:type_error(recorded_database_key,Key)recorded/3
Enumerates, by backtracking, all record key-term pairs and their references.
Compilation flags:
staticTemplate:
recorded(Key,Term,Reference)Mode and number of proofs:
recorded(?recorded_database_key,?term,-recorded_database_reference) - zero_or_morerecorded(?recorded_database_key,?term,+recorded_database_reference) - zero_or_onerecorded/2
Enumerates, by backtracking, all record key-term pairs.
Compilation flags:
staticTemplate:
recorded(Key,Term)Mode and number of proofs:
recorded(?recorded_database_key,?term) - zero_or_moreerase/1
Erases the record indexed by the given reference. Fails if there is no record with the given reference.
Compilation flags:
staticTemplate:
erase(Reference)Mode and number of proofs:
erase(@recorded_database_reference) - zero_or_one_or_errorExceptions:
Reference is a variable:instantiation_errorinstance/2
.
Compilation flags:
staticTemplate:
instance(Reference,Term)Mode and number of proofs:
instance(@recorded_database_reference,?term) - zero_or_one_or_errorExceptions:
Reference is a variable:instantiation_errorProtected predicates
(none)
Private predicates
record_/3
Records table.
Compilation flags:
dynamicTemplate:
record_(Key,Term,Reference)Mode and number of proofs:
record_(?recorded_database_key,?term,?recorded_database_reference) - zero_or_morereference_/1
Reference count.
Compilation flags:
dynamicTemplate:
reference_(Reference)Mode and number of proofs:
reference_(?non_negative_integer) - zero_or_oneOperators
(none)