Implementation
		n Java based on XSB n XSB coupling to Java via NMI