Next: References
Up: FLIP: Functional-plus-Logic Programming on
Previous: Sample Dialog
- expr is in LL the expression expr
evaluated:
(list 1 2) = (1 2)
- expr expr is equivalent to
expr = expr
- and are placeholders on the LLAMA stack and
heap used in the description of machine states
- @proc is the entry address of the procedure proc
- is the external (printable)
LL representation of the LLAMA expression lexpr
on the stack or heap (where it is in case of a list or structure
only a pointer)
- is a copy of lexpr
in the general purpose memory (Memory) of the LLAMA
- is the LLAMA expression lexpr dereferenced
- and denote the modes ground and
unrestricted, respectively
appendix
Bibliography