changeset 62:96e77f914f9b

Remove unnecessary statements
author IBBoard <dev@ibboard.co.uk>
date Fri, 29 Sep 2017 20:02:14 +0100
parents 49cb2f7af872
children e159ec90a072
files 3-Prolog/day1-self-study.pl
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/3-Prolog/day1-self-study.pl	Fri Sep 29 20:00:50 2017 +0100
+++ b/3-Prolog/day1-self-study.pl	Fri Sep 29 20:02:14 2017 +0100
@@ -21,8 +21,7 @@
 wrote(jack_yeovil, route_666).
 wrote(jack_yeovil, krokodil_tears).
 
-collaborated(Author1, Author2, Book) :- author(Author1), author(Author2),
-    wrote(Author1, Book), wrote(Author2, Book), book(Book), Author1 \== Author2.
+collaborated(Author1, Author2, Book) :- wrote(Author1, Book), wrote(Author2, Book), Author1 \== Author2.
 
 collaborated(Author1, Author2) :- collaborated(Author1, Author2, Book).
 % collaborated(terry_pratchett, stephen_baxter). returns true, but collaborated(Author1, Author2).  just says "no", as does