Contents. Portability There are Prolog that are radically different, with different syntax and different semantics (e.g. Visual Prolog) and sub-communities have developed around different implementations.

• Xsb Prolog Mac

Code that strictly conforms to the ISO-Prolog core language is portable across ISO-compliant implementations. However, the ISO standard for modules was never accepted by most Prolog implementors. Factors that can adversely affect portability include: use of bounded vs. Unbounded integer arithmetic, additional types such as string objects, advanced numeric types (rationals, complex), feature extensions such as, threads, and tabling.

Use of libraries unavailable in other implementations and library organisation: Currently, the way predicates are spread over the libraries and system built-ins differs enormously. Fortunately, there are only few cases where we find predicates with the same name but different semantics (e.g. ^ Wielemaker, J.; Costa, V. 'On the Portability of Prolog Applications'.

Xsb Prolog Mac

Practical Aspects of Declarative Languages. Lecture Notes in Computer Science. Jan Wielemaker and Vıtor Santos Costa:. ^ C/Java interface can also be used for graphics and OS control. Demoen, and P.

Nguyen, About unnecessary performance differences between Prolog implementations, Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2001). Bothe, K. 'A prolog space benchmark suite'. ACM SIGPLAN Notices. 25 (12): 54–60. Demoen, B.; Nguyen, P.

L.; Vandeginste, R. 'Copying Garbage Collection for the WAM: to Mark or Not to Mark?'

Pnp0c31 windows xp driver for mac. External links. by Ulrich Neumerkel.