Alexander Aiken T. K. Lakshman Directional Type Checking of Logic Programs 43-60 conf/sas/94 SAS 1994 db/conf/sas/sas94.html#AikenL94