TY - BOOK TI - Techniques of Prolog programming : with implementation of logical negation and quantified goals AU - Van Le, T. SN - 047157175X (paper) PB - Wiley PP - New York : Wiley, c1993. PY - 1993 UR - https://library.korea.ac.kr/detail/?cid=CAT000000518275&ctype=m