dynamic clauses in gprolog

[Tia Watts]

I have been trying (unsuccessfully) to declare a predicate as dynamic in gprolog - Would someone be able to supply me with some examples?

 

Here is what I have been trying:

 

Given a .pl file that contains:

 

    pred(a,b).

 

    makepred(A,B) :- assertz(pred(A,B)).

 

If I load this file and enter:

 

    | ?- makepred(c,d).

 

I receive the error message:

    uncaught exception: error(permission_error(modify,static_procedure,pred/2),assertz/1)

Thank you for any insights you can provide!

 

Tia Watts

address@hidden