next up previous contents index
Next: Numeric Abstractions Up: Basic Abstractions Previous: or   Contents   Index

Application of extended logical abstractions


\begin{lstlisting}[language=Scm]{}
(bdisp! (not true))
--> false
(bdisp! (not f...
...(or false true))
--> true
(bdisp! (or false false))
--> false
\end{lstlisting}


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