[Cst-1b] prolog 99/6/7
Phebe Mann
pm258@hermes.cam.ac.uk
Tue, 2 May 2000 13:51:20 +0100 (BST)
Thanks Jeremy
Phebe
On Tue, 2 May 2000, Jeremy Adams wrote:
> Hi Phebe,
>
> > Can someone explain how to use different lists for the following question
> >
> > 99/6/7
>
> The model answer given to us by our supervisor was:
>
> enum(Tree, Zeros, Ones) :- enum_diff(Tree, Zeros-[], Ones-[]).
>
> enum_diff(n(X, Y, Z), Zeros-ZDiff, Ones-ODiff) :- enum_diff(X, Zeros-R01,
> Ones-R11), enum_diff(Y, R01-R02, R11-R12), enum_diff(Z, R02-ZDiff,
> R12-ODiff).
> enum_diff(0, [0|R]-R, X-X).
> enum_diff(1, X-X, [1|R]-R).
>
> Jeremy
>
>
>
> _______________________________________________
> CST-1B mailing list
> CST-1B@srcf.ucam.org
> http://www.srcf.ucam.org/mailman/listinfo/cst-1b
>