001.64  / L497 <br/>
       Lecture notes in computer science 
 / 
 .- Berlin: Springer-Verlag,  1984 
 .- 119p. 
.- ( Lecture notes in computer science   
<br/><u>Subject Headings:</u> <br/>PROLOG (Programmiersprache);
<br/><U>Author Added Entry: </u><br/>Hartmanis, J [ed.];
<br><U>Copy Details:</u><br> Acc. No.: <b>A94173</b>, Full Call No.: 001.64 L497,   Item type:  Lect. Notes Comp. Sc. (Avl.Online) , Location: COMPACT STORAGE (BASEMENT), v.238. Negation and control in Prolog<br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>