实：表示kate和bill是人（human），kate喜欢bill，而表示规则：表示对于两个对象XY，如果X喜欢Y，且Y喜欢X，那么他们是朋友。
Prolog范例.范例如下：
Quicksort.快速排序范例（对list作排序）：/* quicksort2.pl 原始来源：http://en.wikipedia.org/wiki/Prolog *//* quicksort()中的第二个引数带有排序好的结果　*//* 仅为示范，若为gprolog