wrote(terry, shrdlu).
wrote(bill, lunar).
wrote(roger, sam).

wrote(gottlob, begriffsschrift).
wrote(bertrand, principia).
wrote(alfred, principia).

book(begriffsschrift).
book(principia).

program(lunar).
program(sam).
program(shrdlu).