Повторение в проголе, соединение ассебмлера с С++

[Godod]

Собственно начну с пролога, есть граф по которому есть задание:
Граф:
Задача: Кто наследник Оли?
Код программы:

domains
name=symbol
predicates
parents(name,name)
naslednik(name,name)
goal
write("Nasledniki:"),nl,
naslednik(X,Y).
clauses
parents("Olya","Sergey").
parents("Sawa","Sergey").
parents("Sawa","Liza").
parents("Sergey","Anya").
parents("Sergey","Tanya").
parents("Tanya","Denis").
naslednik(X,Y) :- 
parents(Y,X),write(X),nl,fail,not(parents("Sawa","Liza")),not(parents("Sawa","Sergey").

Вопрос: при внешней цели выдает все правильно, при внутренней нет. Помогите разобратся и правильно написать программу.

Ассемблер:
Есть код программы, которую надо всписать в С++ при том, что ввод данных и вывод их надо осуществить на С++, как это сделать?

.MODEL Large
; Вариант 23) (-53/a+d-4*a)/(1+a*b)
.data
Extrn Numerator:Word
Extrn aS:Byte,ddS:Byte,bS:Byte
Extrn xI:Word
Extrn Denominator:Word
.code
Public Lab3S
Lab3S proc far
;знаменатель - Denominator
mov al,bS
mov bl,aS
mul bl  ;<ax>=a*b
inc ax ;<ax>=a*b+1
mov SI,ax
mov Denominator,SI
;числитель - Numerator
mov ax,-53
div aS ;<aL>=-53/a
mov bl,ddS
add aL,bl ; <ax>=-53/a+d
push ax ; <ax> в стэк
mov aL,4
mul aS ; <ax>=4*a
mov bx,ax ; <bx>=4*a
pop ax
sub ax,bx ; <ax>=-53/a+d-4*a
;Результат
div sI ; <ax>=(-53/a+d-4*a)/(1+a*b)
mov xI,sI
ret
endp
end

[Godod]

Никто не может помочь?