Tekstiviesti: Prolog : a logical approach / Tony Dodd.