Title: A prototype logic programming implementation of a taxation and benenfit program