001: 1162
003: Starlibrary PMS 4.5
005: 20180430
020: ^a81-7808-257-8
066: ^aIv.P
072: ^alists
082: ^a006.3
100: ^aIvan Bratko
240: ^aProlog Programming for Artificial Intelligence
245: ^aProlog Programming for Artificial Intelligence
260: ^c2001
650: ^aoperators arithmetic
650: ^asyntax and meaning of prolog programs
650: ^athe prolog language