libdb.h

来自「SRI international 发布的OAA框架软件」· C头文件 代码 · 共 63 行

/****************************************************************************
 *   File    : libdb.h
 *   Author  : Adam Cheyer
 *   Updated : 3/1/98
 *
 *   -------------------------------------------------------------------------
 *   Unpublished-rights reserved under the copyright laws of the United States.
 *
 *      This data and information is proprietary to, and a valuable trade
 *      secret of, SRI International.  It is given in confidence by SRI
 *      International. Its use, duplication, or disclosure is subject to the
 *      restrictions set forth in the License Agreement under which it has
 *      been distributed.
 *
 *   Unpublished Copyright (c) 1993-98, SRI International.
 *   -------------------------------------------------------------------------
 *
 *****************************************************************************/

/* Make sure only loaded once... */
#ifndef _LIBDB_H_INCLUDED
#define _LIBDB_H_INCLUDED

#ifdef __cplusplus
extern "C" {
#endif

#ifdef IS_DLL
#define EXTERN __declspec(dllexport)
#else
#define EXTERN extern
#endif

  /* Requires libicl.h */
#include "libicl.h"


#define DB_HASH_TABLE_SIZE 100

  typedef struct iclDatabase {
    int magic_cookie;
    ICLListType *row[DB_HASH_TABLE_SIZE];
  } ICLDatabase;


  EXTERN ICLDatabase * 	db_NewDB();
  EXTERN int 	 	db_FreeDB(ICLDatabase *db);
  EXTERN int 		db_Assert(ICLDatabase *db, ICLTerm *term, 
				  ICLTerm *params);
  EXTERN int 		db_Retract(ICLDatabase *db, ICLTerm *term, 
                                   ICLTerm *params);
  EXTERN int 		db_Solve(ICLDatabase *db, ICLTerm *term, 
                                 ICLTerm *params, ICLTerm **answers);
  EXTERN int 		db_PrintDB(ICLDatabase *db);

  EXTERN int db_IsValid(ICLDatabase *db);

#ifdef __cplusplus
}
#endif

#endif