This is an example of how to create a runtime system. The Prolog
program train.pl
will display a route from one train
station to another. The C program train.c
calls the Prolog
code and writes out all the routes found between two stations:
% train.plconnected(From, From, [From], _):- !. connected(From, To, [From| Way], Been):- ( no_stop(From, Through) ; no_stop(Through, From) ), not_been_before(Been, Through), connected(Through, To, Way, Been). no_stop('Stockholm', 'Katrineholm'). no_stop('Stockholm', 'Vasteras'). no_stop('Katrineholm', 'Hallsberg'). no_stop('Katrineholm', 'Linkoping'). no_stop('Hallsberg', 'Kumla'). no_stop('Hallsberg', 'Goteborg'). no_stop('Orebro', 'Vasteras'). no_stop('Orebro', 'Kumla'). not_been_before(Way, _) :- var(Way),!. not_been_before([Been| Way], Am) :- Been \== Am, not_been_before(Way, Am).
/* train.c */#include <stdio.h> #include <sicstus/sicstus.h> void write_path(SP_term_ref path) { char *text = NULL; SP_term_ref tail = SP_new_term_ref(), via = SP_new_term_ref(); SP_put_term(tail,path); while (SP_get_list(tail,via,tail)) { if (text) printf(" -> "); SP_get_string(via, &text); printf("%s",text); } printf("\n"); } int user_main(int argc, char **argv) { int rval; SP_pred_ref pred; SP_qid goal; SP_term_ref from, to, path; /* Initialize Prolog engine. This call looks up SP_PATH in order to * find the Runtime Library. */ if (SP_FAILURE == SP_initialize(argc, argv, NULL)) { fprintf(stderr, "SP_initialize failed: %s\n", SP_error_message(SP_errno)); exit(1); } rval = SP_restore("train.sav"); if (rval == SP_ERROR || rval == SP_FAILURE) { fprintf(stderr, "Could not restore \"train.sav\".\n"); exit(1); }/* train.c *//* Look up connected/4. */ if (!(pred = SP_predicate("connected",4,"user"))) { fprintf(stderr, "Could not find connected/4.\n"); exit(1); } /* Create the three arguments to connected/4. */ SP_put_string(from = SP_new_term_ref(), "Stockholm"); SP_put_string(to = SP_new_term_ref(), "Orebro"); SP_put_variable(path = SP_new_term_ref()); /* Open the query. In a development system, the query would look like: * * | ?- connected('Stockholm','Orebro',X). */ if (!(goal = SP_open_query(pred,from,to,path,path))) { fprintf(stderr, "Failed to open query.\n"); exit(1); } /* * Loop through all the solutions. */ while (SP_next_solution(goal)==SP_SUCCESS) { printf("Path: "); write_path(path); } SP_close_query(goal); exit(0); }
Create the saved-state containing the Prolog code:
% sicstus SICStus 3.9 (sparc-solaris-5.7): Thu Sep 30 15:20:42 MET DST 1999 Licensed to SICS | ?- compile(train),save_program('train.sav'). % compiling [...]/train.pl... % compiled [...]/train.pl in module user, 10 msec 2848 bytes % [...]/train.sav created in 0 msec | ?- halt.
Create the executable using the application builder:
% spld --main=user train.c -o train.exe
And finally, run the executable:
% ./train Path: Stockholm -> Katrineholm -> Hallsberg -> Kumla -> Orebro Path: Stockholm -> Vasteras -> Orebro