001: 1157
003: Starlibrary PMS 4.5
005: 20180430
066: ^aI..P
082: ^a005.1318
100: ^aI.Kononenko &N.lavrac
240: ^aProlog Through Examples
245: ^aProlog Through Examples
260: