Prototype logic programming implementation of a taxation and benefit program. - HAYES Brian (London London School of economic and Political Science, 1989)