Abstract Prolog instruction set suitable for software, firmware, or hardware implementation. New model is very similar to the abstract machine based on DEC-I0 Prolog described by Warren. Copying replaces structure-sharing as the means for constructing complex tail recursion optimization.
Abstract Prolog instruction set suitable for software, firmware, or hardware implementation. New model is very similar to the abstract machine based on DEC-I0 Prolog described by Warren. Copying replaces structure-sharing as the means for constructing complex tail recursion optimization.
Abstract Prolog instruction set suitable for software, firmware, or hardware implementation. New model is very similar to the abstract machine based on DEC-I0 Prolog described by Warren. Copying replaces structure-sharing as the means for constructing complex tail recursion optimization.