Паскаль - Пролог

[andrew77753]

помогите с написанием программы на прологе...
слева должна быть программа на паскале о том, что собака является собакой... а справа на прологе.... как-то так.

Реализации задачи "Dogs"
1. Пролог-описание задачи "Dogs":

domains
name = symbol
predicates
dog ( name )
parent (name, name )
clauses
dog ( rex ). /* 1 */
dog ( X ) :- /* 2 */
parent ( X, Y ),
dog ( Y ).
parent ( larsy, rex ). /* 3 */
parent ( dick, rex ). /* 4 */

2. Паскаль-реализация усеченной задачи "Dogs":

program dogs_Dano;
type
sobaki=(Rex, Larsy, Dick);
izvestno=(dogDano, parentDano);
dogDef=record
case Dano: izvestno of
dogDano: (dog: boolean);
parentDano: (parent: sobaki);
end;
var
data: array[sobaki] of dogDef;
Klichki: array[sobaki] of string;
X: sobaki;
function dog (Y: dogDef): boolean;
begin
if Y.Dano = dogDano then dog := Y.dog
else dog := dog(data[Y.parent]);
end;
begin
Klichki[Rex] := 'Rex';
Klichki[Larsy] := 'Larsy';
Klichki[Dick] := 'Dick';
with data[Rex] do
begin Dano := dogDano; dog := true;
end;
with data[Larsy] do
begin Dano := parentDano; parent := Rex;
end;
data[Dick] := data[Larsy];
for X := Rex to Dick do
if dog (data[X]) then writeln (Klichki[X]);
readln;
END.