Modification problem

[hmqq]

I have an ontology, where i have a role "headOfDepartment" with a domain "HOD". I want to add additional fact in ontology like

instr("headOfDepartment","P2","Dep2").
delta(qalt,addop("ont:headOfDepartment",A,B)) :- instr("headOfDepartment",A,B).

instc("Department",X) :- &dlCroonto,"ont:Department".
instr("headOfDepartment",Y,X) :- &dlOProonto,"ont:headOfDepartment".
instc("HOD",Y) :- &dlCroonto,"ont:HOD".

modifications(qalt).

result(Y,X) :- instc("Department",X),instr("headOfDepartment",Y,X),instc("HOD",Y).

#show result/2.

and I want to retrieve all the objects in HOD, who are head of some department. But this program show me only the objects from ontology and does not show instr("headOfDepartment","P2","P1").

How can I retrieve the facts from hex-file along with the ontology assertions?

ontologyfile.txt
rulefile.txt
WA-meta.txt

[peschue]

I am sorry that it took so long to reply, I have been very busy recently.

The command #show result/2. indicates that only atoms of the form result(X,Y) with some substituted constant for X and Y should be shown.

Internally, all atoms are computed, but only the specified ones are shown.

To also see instr with 3 arguments you need to also add #show instr/3. to the program.