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