[Xsb-development] compiled vs asserted code

[<ki...@cs...>]

Is there any noticable performance difference between compiled and asserted
code (rules) for a large program?

Also, I recall that a while back XSB was allowing the same predicate to
have both compiled and asserted code, but it was disallowed later.
It was said that other prologs don't allow this.

However, I see that YAP happily allows this and even provides special
primitives to support such mixing.


	thanks
	  --michael