test2.c

SRI international 发布的OAA框架软件

#include "libdb.h"


main()
{

   ICLTerm *t, *t2;
   ICLDatabase *db = db_NewDB();
   char term1[500];
   
   db_Assert(db, icl_ReuseMem(icl_NewTermFromString("a(1)")), ICL_EMPTY);
   db_PrintDB(db);
   db_Assert(db, icl_ReuseMem(icl_NewTermFromString("a(2)")), ICL_EMPTY);
   db_PrintDB(db);
   db_Assert(db, icl_ReuseMem(icl_NewTermFromString("a(3)")), ICL_EMPTY);
   db_PrintDB(db);
   db_Assert(db, icl_ReuseMem(icl_NewTermFromString("a(4)")), ICL_EMPTY);
   db_PrintDB(db);



/*
EXTERN int db_Retract(ICLDatabase db, ICLTerm *term, ICLTerm *params);
EXTERN int db_Solve(ICLDatabase db, ICLTerm *term, ICLTerm *params, 
		    ICLTerm **answers);
*/


   printf(": ");
   gets(term1);

   t = icl_NewTermFromString(term1);

   db_Solve(db, t, ICL_EMPTY, &t2);

   icl_WriteTerm(t2);
   printf("\n");

   icl_Free(t);
   icl_Free(t2);

   db_FreeDB(db);

}