test_icl.c

SRI international 发布的OAA框架软件

#include <stdio.h>
#include <unistd.h>
#include <string.h>
#include <sys/types.h>
#include <stdlib.h>

#include "libicl.h"

void main(int argc, char *argv[])
{
   char term1[1000], term2[1000];
   ICLTerm *t, *t2, *a;
   char *s;
   char *results;

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

   t = icl_NewTermFromString(term1);

   printf(": ");
   gets(term2);

   t2 = icl_NewTermFromString(term2);

   s = icl_NewStringStructFromTerm(t);
   printf("Struct for t1 : %s\n", s);
   icl_stFree(s);
   s = icl_NewStringStructFromTerm(t2);
   printf("Struct for t2 : %s\n", s);
   icl_stFree(s);

   if (icl_Unify(t, t2, &a)) {
       s = icl_NewStringFromTerm(a);
       printf("Success: Unify results: %s\n", s);
       icl_stFree(s);
       icl_Free(a);	/* filled-in only if unification succeeds */
   }
   else printf("Unify failed.\n");

   icl_Free(t);
   icl_Free(t2);
}