test_large_struct.c

PRl教学程序 PRl教学程序 PRl教学程序

#include "bprolog.h"
main(argc,argv)
int             argc;
char           *argv[];
{

  int res;
  char *sol;
  TERM term,x;

  initialize_bprolog(argc,argv);

  term = create_FUNCTOR("functor",3);  /* functor(X,f,1000) */
  x = build_VAR();
  unify(x,get_ARG(1,term));
  unify(build_ATOM("f"),get_ARG(2,term));
  unify(build_INTEGER(1000),get_ARG(3,term));

  bprolog_mount_query_term(term);

  res = bprolog_next_solution();
  if (res==1) printf("sol=%s\n",bprolog_term_2_string(term));
  else printf("STRANGE\n");
}