test_large_list.c

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

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

  char *sol;
  TERM term;
  
  initialize_bprolog(argc,argv);

  term = build_STRUCTURE("length",2);
  build_VAR();
  build_ARG(build_INTEGER(10));
  
  bprolog_mount_query_term(term);

  sol = bprolog_next_solution();
  bprolog_write_term(term); printf("\n");
  printf("%s\n",bprolog_term_2_string(term));
}