Prolog程序主要由事实、规则和目标三种类型的语句构成，其基本语法如下：
事实：
用括号表示，例如：
```prolog
father（john, steve）.
father（john, lily）.
mother（jane, steve）.
mother（jane, lily）.
```
规则：
使用`:-`表示，例如：
```prolog
parent（X, Y） :- father（X, Y）.
parent（X, Y） :- mother（X, Y）.
```
目标：
使用`？-`表示查询，例如：
```prolog
？- parent（X, Y）.
```
```prolog
% 定义事实
father（john, steve）.
father（john, lily）.
mother（jane, steve）.
mother（jane, lily）.
% 定义规则
parent（X, Y） :- father（X, Y）.
parent（X, Y） :- mother（X, Y）.
% 查询
？- parent（X, Y）.
```
在这个示例中，我们定义了四个事实，分别说明`john`是`steve`和`lily`的父亲，`jane`是他们的母亲。然后我们定义了一个规则`parent/2`，它指出如果`X`是`Y`的父亲或母亲，那么`X`就是`Y`的父母。最后，我们通过查询`？- parent（X, Y）.`来获取所有满足条件的父母关系。
编写Prolog程序的步骤：
定义事实：
列出所有已知的事实，用括号括起来。
定义规则：
使用`:-`定义规则，规则的前提和结论用逗号隔开。
编写查询：
使用`？-`开始查询，获取满足规则的事实。
示例：家庭关系
```prolog
% 定义事实
father（john, steve）.
father（john, lily）.
mother（jane, steve）.
mother（jane, lily）.
% 定义规则
parent（X, Y） :- father（X, Y）.
parent（X, Y） :- mother（X, Y）.
% 查询
？- parent（X, Y）.
```
示例：朋友关系
```prolog
% 定义事实
friend（john, julia）.
friend（john, jack）.
friend（julia, sam）.
friend（julia, molly）.
% 定义规则
friend（X, Y） :- friend（Y, X）.
% 查询
？- friend（john, julia）.
```
示例：性别和亲属关系
```prolog
% 定义事实
male（di）.
male（jianbo）.
female（xin）.
female（yuan）.
female（yuqing）.
father（jianbo, di）.
father（di, yuqing）.
mother（xin, di）.
mother（yuan, yuqing）.
% 定义规则
grandfather（X, Y） :- father（X, Z）, father（Z, Y）.
grandmother（X, Y） :- mother（X, Z）, father（Z, Y）.
daughter（X, Y） :- father（X, Y）, female（Y）.
% 查询
？- grandmother（X, di）.
```
通过这些示例，你可以看到Prolog程序的基本结构和编写方法。根据具体需求，你可以定义更多的事实和规则来解决更复杂的问题。