Open TeamSPoon opened 8 years ago
O_DRA_META
In pl-vmi.c, specially marked predicates get a wrapper that implements something written on prolog. This is used as a fast inroad to the tabling system
ffooo:-writeln(‘foo’). barrr(G):- writen(‘Calling‘:G),G.
?- '$set_pattr'(ffooo, pred, dra_meta=barrr),ffooo. Calling:ffooo foo
O_DRA_META
In pl-vmi.c, specially marked predicates get a wrapper that implements something written on prolog. This is used as a fast inroad to the tabling system