next up previous contents index
Next: Application of extended logical Up: Extended Logical Abstractions Previous: and   Contents   Index

or



\begin{lstlisting}[language=Scm,stepnumber=0]{} (define or (lambda (a b) (if a a b))) \end{lstlisting}
If a is equal to `false' everything depends on b whether `true' or `false' is returned.
domain access counter Georg P. Loczewski 2004-03-05