Lines Matching refs:item
53 \item Efficient retrieval of knowledge for any size of
55 \item Deductive rules can be stored in the
57 \item Complex structures and lists are valid data types
59 \item Database transparency. When making a query the user
62 \item The database can be queried with either set-oriented
66 \item A full multi-user environment is provided (e.g.\
68 \item Full database recovery procedures are included.
69 \item Full garbage collection.
89 \item{database\_kernel}
97 \item{db}
103 \item{kb}
109 \item{knowledge\_base}
114 \item{megalog}