000 00433nam a2200157 4500
001 20790
003 UR
005 20220427165012.0
008 061103|||||||||||||||||||||||||||||||| d
035 _a(janium) 20779
035 _a(janium)20778
050 4 _aQA76.73
_b.P76L4 1993
100 1 _aLe, T. Van
245 1 0 _aProlog programming
_b : with implementation of logical negation and quantified goals
260 _bJohn Wiley & Sons
_c1993
999 _c2139
_d2139