Currently your xxx.prolog.computer does allow assertz/1 of facts, but not of rules. It has a slow response time, so I guess it does more than a usual assertz/1. Like here:
Will this invalidate your caches, so that we get consistent results? Or does it embody some incremental tabling? Why are rules not allowed? Are rules banned from ISOBASE?
Currently your xxx.prolog.computer does allow assertz/1 of facts, but not of rules. It has a slow response time, so I guess it does more than a usual assertz/1. Like here:
Will this invalidate your caches, so that we get consistent results? Or does it embody some incremental tabling? Why are rules not allowed? Are rules banned from ISOBASE?