Macro |
function |
|
|
logix(Command) |
Interpret Command. |
a / a(Number*) |
Abort computation Number. |
c / c(Module^) |
Start compile(Module). |
goal / goal(Number*) |
Display the goal of computation Number. |
h |
Display a list of macros. |
i(File) |
Start input(File). |
l / l(Module^) |
Start lint(Module). |
less(Module) |
UNIX: less Module' |
more(Module) |
UNIX: more Module' |
quit |
Exit from the Logix system. |
r / r(Number*) |
Display the resolvent of computation Number. |
r(Ids) / r(Number*, Ids) |
Extract Ids of the resolvent of computation Number. |
re / re(Number*) |
Resume computation Number. |
run(Service) |
Start computation of Service. |
s / s(Number*) |
Suspend computation Number. |
vi(Module) |
Edit Module' with vi. |
Option/Value |
Set display Option to Value. |
Term1=Term2 |
Unify Term1 with Term2. |
Result:=Expression |
Evaluate Expression and unify its value with Result. |
PosInt|Term |
Unify Term with numbered variable PosInt. |
Target!Term |
Append Term to Target stream or channel. |
Target! |
Close Target stream or channel. |
^ |
Display instantiated named variables. |
^^ |
Display instantiated numbered variables. |
{String} |
UNIX: Execute String as UNIX command. |
Service is a <remote procedure call>; it is defined as a <path> followed by a procedure call <string> or <tuple>.
Module is a <path> ending in <string> name of a <module>. Module' is the corresponding UNIX file address.
The status of a Logix shell includes a range of assigned computation numbers,a current computation and a current service.
When an explicit (in-range) number is specified, its associated computation becomes the current computation.
When a number is is designated by a writable variable, the variable is unified with the number of the current computation.
When the <path> of a Module is a <string>, that <string> becomes the current service.
When a service is designated as a simple <remote procedure call> (<string>#process), the <string> becomes the current service (name).
When in either case the <path> is designated by a variable, the variable is unified with the current service.
* default is the current computation number.
^ default is the current service.
This document is licensed under Gnu General Public License - Version 3
http://www.nongnu.org/efcp/gnu-gpl3.html