ICL: Interaction with the system

After starting up ICL, you get the interactive prompt of ICL.

icl> _

Commands must be given completely (but each one has a short version!). No end-point is needed (but allowed). Type 'help' (or 'h') for some help. Then you get something like:

icl> h
The following commands are available:
  help/0 - h                help/1 - h                quit/0 - q         
  prompt/0 - p            

  icl/0 - i                 icl/1 - i                 icl_multi/0 - im
  cross_validation/0 - cv   cross_validation_special/0 - cvs          

  show_theory/0 - st        showf_theory/0 - sft      write_theory/0 - wt     
  show_stat_theory/0 - sst  write_stat_theory/0 - wst                         
  show_complexity_theory/0 - sct                      gnuplot_theory/0 - gpt  
  classify_examples/0 - ce  process_cv_file/0 - pcvf

  show_settings/0 - ss      show_settings/1 - ss      show_info/0 - si        
  set/2 - s                 load_settings/0 - ls      set_default_settings/0 - sds

  show_warnings/0 - sw      toggle_warning/0 - tw     toggle_warning/1 - tw   

  new_config/0 - nc         new_config/1 - nc         read_theory_file/0 - rtf

  optimise_kb_file/1 - okb  optimise_kb_file/0 - okb

  test_language/0 - tl      test_rule/0 - tr        

  show_discretizations/0 - sd                         write_queries/0 - wq    
  plot_data_queries/0 - pdq                         

As you see, each command has a long and a short version. For example, 'icl' and 'i' are the same. The shortcut for 'show_stat_theory' is 'sst'. It is straigthforward!

You can get more help on a specific command with help/1. For example:

icl> h(help/1)
Synopsis : help(Command) -- h(Command) 
--> Print specific help for Command
      Command can be the short or long version, with or without /n 

icl> h(h)
Synopsis : help -- h 
--> Give a short overview of the available commands 

Note that the set of available commands is not fixed. But the help function will give you all the available commands for the system you are using at that moment. So some of the commands reported in this guide might not be available in your system, or it can have some commands which are not explained in here!

Copyright 1998, Katholieke Universiteit Leuven, dept. Computerwetenschappen Information provider: KULeuven dept. Computerwetenschappen Comments for the authors: Wim Van Laer Page design: Wim Van Laer URL: http://www.cs.kuleuven.ac.be/interactive.html