001: 792
003: Starlibrary PMS 4.5
005: 20180430
020: ^a0-13-536047-1
066: ^aMi.A
072: ^aprogramming with relations
082: ^a005.1318
100: ^aMichael sprvey
240: ^aAn Introduction to logrc proramming thraugh prolog
245: ^aAn Introduction to logrc proramming thraugh prolog
260: ^c1996
650: ^arecursive structures
650: ^athe meaning of logic programs