This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
hekate:hekate_process [2009/11/08 21:38] gjn integration and summary |
hekate:hekate_process [2019/06/27 15:49] (current) |
||
|---|---|---|---|
| Line 164: | Line 164: | ||
| * types' names should be meaningful! | * types' names should be meaningful! | ||
| - | FIXME provide xslt for wiki export (WTF!) | + | BETA version of XSLT translator from HML 2 wiki table is provided in CVS - [[hekate:cases:howto#attribute_specification|HOWTO description]] |
| ===== Prototyping ===== | ===== Prototyping ===== | ||
| Line 224: | Line 223: | ||
| * Output: reports? | * Output: reports? | ||
| * Remarks: | * Remarks: | ||
| - | |||
| ===== Physical Design ===== | ===== Physical Design ===== | ||
| The executable design generation. | The executable design generation. | ||
| Line 235: | Line 233: | ||
| * Files: | * Files: | ||
| * FIXME, at least basic input callbacks | * FIXME, at least basic input callbacks | ||
| - | * Output: reports? trajectories | + | * To launch: <code>gox(<state>, [<tables>], <inference process>).</code> e.g. <code>gox(init, ['Table2', 'Table3'], ddi).</code> |
| + | * Output: Trajectories projections. Trajectory is the system inference path. After every inference process invocation new trajectory is generated. The trajectory can be identified by ID, to obtain ID of recently generated trajectory use //traj_id(ID)// predicate. The ID variable will be unified with an ID of the last trajectory. To save trajectory projection to a file use //io_export_trajectory(Filename, TrajID)// predicate. If you want to save most recent trajectory type this in Prolog console: <code> traj_id(ID),io_export_trajectory('file.txt', ID).</code> | ||
| * Remarks: FIXME | * Remarks: FIXME | ||
| * different inference modes? | * different inference modes? | ||
| Line 304: | Line 303: | ||
| ====== Case Template ====== | ====== Case Template ====== | ||
| See [[:hekates:cases:hekate_case_skel:start|skeleton case]] | See [[:hekates:cases:hekate_case_skel:start|skeleton case]] | ||
| - | |||
