1.建立一个简单知识库,描述书名与作者
book(book1, au1).
book(book2, au1).
book(book3, au2).
book(book4, au3).
book(book5, au4).
book(book6, au5).
book(book7, au5).
2.找出知识库中某位作者写的所有书
1 ?- book(What, au5).
What = book6 ;
What = book7.
3.建立一个描述音乐家与乐器的知识库,同时也描述出音乐家与音乐风格
musician(mu1, piano).
musician(mu2, jita).
musician(mu3, jita).
musician(mu4, piano).
musician(mu5, violin).
music_type(mu1, slow).
music_type(mu2, boarse).
music_type(mu3, country).
music_type(mu4, jazz).
music_type(mu5, blues).
4.找出所有使用吉他的音乐家
1 ?- musician(What, jita).
What = mu2 ;
What = mu3.