test_clp.c

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

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

  int res;
  TERM term;

  initialize_bprolog(argc,argv);

  bprolog_call_string("load(magic3)");

  bprolog_mount_query_string("top(X)");
  
  do {
    res = bprolog_next_solution();
  } while (res==1);

  call_bprolog_string("load(sendmoney)");

  term = create_FUNCTOR("top",1);
  bprolog_mount_query_term(term);
  do {
    res = bprolog_next_solution();
    if (res==1) bprolog_write_term(term);
  } while (res==1);
}