00406nam a2200145   450000100060000000300030000600500170000900800410002603500190006703500180008605000250010410000150012924500880014426000280023220790UR20220427165012.0061103|||||||||||||||||||||||||||||||| d  a(janium) 20779  a(janium)20778 4aQA76.73b.P76L4 19931 aLe, T. Van10aProlog programmingb : with implementation of logical negation and quantified goals  bJohn Wiley & Sonsc1993