Harvey Abramson Definite Clause Translation Grammars. 233-240 1984 SLP db/conf/slp/slp84.html#Abramson84