Purelog I: pragmatic logic programming with meta-declarationsWalter Gene Wilson · First published 1987Open the Tome