From: Daniel al-Autistiqui
Subject: Dansassertions.lsip
Date: Wed, 15 Mar 2006 17:57:29 +0000
Message-ID: <nblg12tmblb277ssevpru729kcfuqgndrq@4ax.com> ;;; 'Dansassertions' begins here.
;; In plain English: "Every dog has his day"
(remember-assertion
'(alambda (xray)
(implies (funcall *big-delta* xray)
(ilambda (yankee)
(and (funcall *big-yankee* yankee)
(funcall *big-bravo* yankee xray))))))
;; In plain English: "All things come to him who waits"
(remember-assertion
'(alambda (xray)
(implies (and (funcall *big-papa* xray)
(funcall *big-zulu* xray))
(alambda (yankee)
(funcall *big-uniform* yankee xray)))))
;; In plain English: "A person is judged by the company he keeps"
(remember-assertion
'(alambda (xray)
(implies (funcall *big-papa* xray)
(alambda (yankee)
(implies (funcall *big-quebec* xray yankee)
(funcall *big-oscar* yankee xray))))))
;; In plain English: "It's an ill wind that blows nobody any good"
(remember-assertion
'(alambda (xray)
(implies
(and
(funcall *big-whiskey* xray)
(alambda (yankee)
(implies
(funcall *big-papa* yankee)
(not (ilambda (zulu)
(and (funcall *big-november* zulu)
(funcall *big-papa* xray zulu yankee)))))))
(funcall *big-india* xray))))
;; In plain English: "Nobody borrows everything from everybody"
(remember-assertion
'(alambda (xray)
(implies
(funcall *big-papa* xray)
(ilambda (yankee)
(and (funcall *big-papa* yankee)
(ilambda (zulu)
(not (funcall *big-bravo* xray zulu yankee))))))))
;;; 'Dansassertions' ends here.
daniel mcgrath
--
Daniel Gerard McGrath, a/k/a "Govende":
for e-mail replace "invalid" with "com"
Developmentally disabled;
has Autism (Pervasive Developmental Disorder),
Obsessive-Compulsive Disorder,
& periodic bouts of depression.
[This signature is under construction.] From: Jan Burse
Subject: Re: Dansassertions.lsip
Date: Thu, 16 Mar 2006 08:41:28 +0000
Message-ID: <441924B8.3040201@fastmail.fm> And your dialect is called "lsip" hm?
Daniel al-Autistiqui wrote:
> ;;; 'Dansassertions' begins here.
>
> ;; In plain English: "Every dog has his day"
> (remember-assertion
> '(alambda (xray)
> (implies (funcall *big-delta* xray)
> (ilambda (yankee)
> (and (funcall *big-yankee* yankee)
> (funcall *big-bravo* yankee xray))))))
>
> ;; In plain English: "All things come to him who waits"
> (remember-assertion
> '(alambda (xray)
> (implies (and (funcall *big-papa* xray)
> (funcall *big-zulu* xray))
> (alambda (yankee)
> (funcall *big-uniform* yankee xray)))))
>
> ;; In plain English: "A person is judged by the company he keeps"
> (remember-assertion
> '(alambda (xray)
> (implies (funcall *big-papa* xray)
> (alambda (yankee)
> (implies (funcall *big-quebec* xray yankee)
> (funcall *big-oscar* yankee xray))))))
>
> ;; In plain English: "It's an ill wind that blows nobody any good"
> (remember-assertion
> '(alambda (xray)
> (implies
> (and
> (funcall *big-whiskey* xray)
> (alambda (yankee)
> (implies
> (funcall *big-papa* yankee)
> (not (ilambda (zulu)
> (and (funcall *big-november* zulu)
> (funcall *big-papa* xray zulu yankee)))))))
> (funcall *big-india* xray))))
>
> ;; In plain English: "Nobody borrows everything from everybody"
> (remember-assertion
> '(alambda (xray)
> (implies
> (funcall *big-papa* xray)
> (ilambda (yankee)
> (and (funcall *big-papa* yankee)
> (ilambda (zulu)
> (not (funcall *big-bravo* xray zulu yankee))))))))
>
> ;;; 'Dansassertions' ends here.
>
> daniel mcgrath From: Daniel al-Autistiqui
Subject: Re: Dansassertions.lsip
Date: Thu, 16 Mar 2006 16:23:59 +0000
Message-ID: <533j12h4rdtkabbolmo8thaqo20gsetr0o@4ax.com> On Wed, 15 Mar 2006 12:57:29 -0500, Daniel al-Autistiqui
<·········@hotmail.invalid> wrote:
>;;; 'Dansassertions' begins here.
>
Minor correction: I meant to include this line here, followed by a
blank line:
(setf *assertions* 'empty-stream)
That is the line that would start up the assertion stream, its value
being empty at first. I did remember to include it for *RULES* in
"Dansrules". It's not very crucial to the outcome of the whole code
fragment, but I guess it has to be there.
>;; In plain English: "Every dog has his day"
>(remember-assertion
> '(alambda (xray)
> (implies (funcall *big-delta* xray)
> (ilambda (yankee)
> (and (funcall *big-yankee* yankee)
> (funcall *big-bravo* yankee xray))))))
>
[...]
daniel mcgrath
--
Daniel Gerard McGrath, a/k/a "Govende":
for e-mail replace "invalid" with "com"
Developmentally disabled;
has Autism (Pervasive Developmental Disorder),
Obsessive-Compulsive Disorder,
& periodic bouts of depression.
[This signature is under construction.]