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