next up previous contents index
Next: or Up: Extended Logical Abstractions Previous: not   Contents   Index

and



\begin{lstlisting}[language=Scm,stepnumber=0]{}
(define and (lambda (a b)
(if a b a)))
\end{lstlisting}
This abstraction returns `false' if a is false and b if a is true. In the latter case everything depends on b, whether `true' or `false' is returned.



domain access counter Georg P. Loczewski 2004-03-05