005.133 BRA/L Bramer, Max Logic Programming with Prolog / Max Bramer. - 2nd Ed.. - New York : Springer, 2013 xiii. 253 : Paperback 9781447154860