TY - BOOK ID - 134613500 TI - Higher-order extensions to Prolog : are they needed? PY - 1981 PB - Edinburgh University of Edinburgh. Department of artificial intelligence DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:134613500 AB - ER -