̲   ò    >

PROLOG ò

SWI-Prolog. (? 1? T '}, tn) , nf a tlt t2, ..., tn - . . . . ( ), : -" ( ), ('). ', . : -" I- if.) ( - (http: //www.es.cmu. edu / ~ fp / courses / lp / lectures / lp-all.pdf), ѳ (www.inf.ed.ac.uk/teaching/courses/lp).

 
  ̲   ò    >