摘要 |
A predicate-logic retrieval system includes a predicate-logic retrieving section for receiving a predicate query and a metamodel-element built-in predicate (MMEBIP) storage section storing therein MMBEIPs and get-functions in association. If a predicate query includes a MMEBIP, the predicate-logic retrieval system retrieves a get-function from the MMBIP storage section, uses the get-function to retrieve predicate data from a repository storing therein data in a metamodel format, and executes variable identification for the predicate thus retrieved.
|