On Beyond Abelson & Sussman

[dewey.soe.berkeley.edu!oster@ucbvax.Berkeley.EDU (David Phillip Oster)]

I've read Abelson & Sussman's "Structure and Interpretation of Computer
Programs." Great book. Do you have any suggestions for what I should read
now to take the next steps in:

1.) constraint propoagation systems
2.) logic programming
3.) ?


--- David Phillip Oster            --When you asked me to live in sin with you
Arpa: oster@dewey.soe.berkeley.edu --I didn't know you meant sloth.
Uucp: {uwvax,decvax,ihnp4}!ucbvax!oster%dewey.soe.berkeley.edu