document load_db
This commit is contained in:
parent
2e6360738c
commit
a1db3dba0b
@ -1703,6 +1703,14 @@ if they have not been loaded before, does nothing otherwise.
|
|||||||
|
|
||||||
@var{F} must be a list containing the names of the files to load.
|
@var{F} must be a list containing the names of the files to load.
|
||||||
|
|
||||||
|
@item load_db(@var{+Files})
|
||||||
|
@findex load_db/1
|
||||||
|
@syindex load_db/1
|
||||||
|
@cnindex load_db/1
|
||||||
|
@noindent
|
||||||
|
Load a database of facts with equal structure. Useful when wanting to
|
||||||
|
read in a very compact way database tables.
|
||||||
|
|
||||||
@item make
|
@item make
|
||||||
@findex make/0
|
@findex make/0
|
||||||
@snindex make/0
|
@snindex make/0
|
||||||
|
Reference in New Issue
Block a user