test_queens.c

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

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

  int sol;
  TERM query;

  initialize_bprolog(argc,argv);

  bprolog_call_string("load(queens_8)");
  
  query = create_FUNCTOR("queens",2);
  unify(build_INTEGER(8),get_ARG(1,query));

  bprolog_mount_query_term(query);

  do {
    sol = bprolog_next_solution();
    if (sol==1){bprolog_write_term(query); printf("\n");}
  } while (sol == 1);
}