Beispiel #1
0
int
main(int argc, char **argv)
{
#if O_CTRLC
    main_thread_id = GetCurrentThreadId();
    SetConsoleCtrlHandler((PHANDLER_ROUTINE)consoleHandlerRoutine, TRUE);
#endif

#if O_ANSI_COLORS
    PL_w32_wrap_ansi_console();	/* decode ANSI color sequences (ESC[...m) */
#endif
#ifdef READLINE
    PL_initialise_hook(install_readline);
#endif

    if ( !PL_initialise(argc, argv) )
        PL_halt(1);

    for(;;)
    {   int status = PL_toplevel() ? 0 : 1;

        PL_halt(status);
    }

    return 0;
}
Beispiel #2
0
int
prolog_debug_from_string(const char *spec, int flag)
{ const char *end;

  while((end=strchr(spec, ',')))
  { if ( end-spec < MAX_TOPIC_LEN )
    { char buf[MAX_TOPIC_LEN];

      strncpy(buf, spec, end-spec);
      buf[end-spec] = EOS;
      if ( !prolog_debug_topic(buf, flag) )
      { Sdprintf("ERROR: Unknown debug topic: %s\n", buf);
	PL_halt(1);
      }

      spec = end+1;
    } else
    { Sdprintf("ERROR: Invalid debug topic: %s\n", spec);
    }
  }

  if ( !prolog_debug_topic(spec, flag) )
  { Sdprintf("ERROR: Unknown debug topic: %s\n", spec);
    PL_halt(1);
  }

  return TRUE;
}
Beispiel #3
0
int PASCAL
WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance,
	LPSTR lpszCmdLine, int nCmdShow)
{ char *	argv[100];
  int		argc;

  program = program_name(hInstance);
  argc = breakargs(program, lpszCmdLine, argv);

  bind_terminal();
  PL_set_prolog_flag("verbose", PL_ATOM, "silent"); /* operate silently */
  DEBUG(ok("About to start Prolog with %d arguments", argc));
  if ( !PL_initialise(argc, argv) )
  { ok("Initialisation failed");
    PL_halt(1);
  }

  if ( PL_toplevel() )
  { PL_halt(0);
  } else
  { ok("Toplevel failed");
    PL_halt(1);
  }

  return 0;
}
void SWIPLContainer::__init(int argc, char **argv)
{
    if ( !PL_initialise(argc, argv) ) {
        qDebug() << "Unable to initialize Prolog engine!";
        PL_halt(1); // will terminate the process!
        return; // we never get here, but still
    }

    qDebug() << "Prolog successfully initialized!";
}
Beispiel #5
0
int
main(int argc, char **argv)
{ char expression[MAXLINE];
  char *e = expression;
  char *program = argv[0];
  char *plav[2];
  int n;

  /* combine all the arguments in a single string */

  for(n=1; n<argc; n++)
  { if ( n != 1 )
      *e++ = ' ';
    strcpy(e, argv[n]);
    e += strlen(e);
  }

  /* make the argument vector for Prolog */

  plav[0] = program;
  plav[1] = NULL;

  /* initialise Prolog */

  if ( !PL_initialise(1, plav) )
    PL_halt(1);

  /* Lookup calc/1 and make the arguments and call */

  { predicate_t pred = PL_predicate("calc", 1, "user");
    term_t h0 = PL_new_term_refs(1);
    int rval;

    PL_put_atom_chars(h0, expression);
    rval = PL_call_predicate(NULL, PL_Q_NORMAL, pred, h0);

    PL_halt(rval ? 0 : 1);
  }

  return 0;
}
Beispiel #6
0
int main(int argc, char **argv)
{
    char *program = argv[0];
    char *plav[2];
    char problem[MAXLINE];
    char *p = problem;

    /* make the argument vector for Prolog */

    plav[0] = program;
    plav[1] = NULL;

    /* initialize Prolog */

    if ( !PL_initialise(1, plav) )
        PL_halt(1);

    /* initialize the input planning problem */

    strcpy(p, argv[1]);

    printf("%s\n", p);

    /* Lookup solve/1 and make the arguments and call */

    predicate_t pred = PL_predicate("solve", 1, "user");
    term_t h0 = PL_new_term_refs(1);

    int rval;
    PL_put_atom_chars(h0, problem);
    rval = PL_call_predicate(NULL, PL_Q_NORMAL, pred, h0);

    PL_halt(rval ? 0 : 1);

    return 0;
}
Beispiel #7
0
// ######################################################################
SWIProlog::SWIProlog(int argc, char **argv)
{
  const char *av[10];
  int ac = 0;

 // av[ac++] = argv[0];
  av[ac++] = "DefaultProg";
  av[ac++] = "-q";
  av[ac++] = "-nosignals";
  av[ac]   = NULL;

#ifdef HAVE_SWI_PROLOG_H
  if (!PL_initialise(ac, av))
  {
    PL_halt(1);
    LFATAL("Failed to init prolog");
  }
#else
  LINFO("SWI prolog not found");
#endif

}
Beispiel #8
0
static char *prolog_iniciar(modulo_t *modulo, GHashTable *argumentos) {
  prolog_dato_t *prolog = (prolog_dato_t*)modulo->m_dato;

  char *av[10];
  int ac = 0;
  
  av[ac++] = "prolog";
  av[ac++] = "-g";
  av[ac++] = "true";
  av[ac++] = "-f";
  av[ac++] = "none";
  
  if(!PL_initialise(ac, av)) {
    PL_halt(-1);
  }
  prolog->m_fid = PL_open_foreign_frame();
  g_hash_table_insert(modulo->m_tabla, PUERTO_SALIDA, 0);
  g_hash_table_insert(modulo->m_tabla, PUERTO_ORDEN, 0);
  g_hash_table_insert(modulo->m_tabla, PUERTO_PARAMETRO, 0);

  return "iniciado";
}
	void close_store() {
		if (alive) {
			PL_halt(PL_toplevel() ? 0 : 1);
		}
	}