Yukihide Takayama Writing Programs as QJ Proof and Compiling into Prolog Programs. 278-287 1987 SLP db/conf/slp/slp87.html#Takayama87