The Constraint Logic Programming Method
Prolog Interpreter
Abstract
Prolog Interpreter
Abstract
This article introduces the designing method of constraint logic programming.The method is a new way to improve the efficiency of PROLOG.The corresponding work in the SC PROLOG interpreter system is emphasized,on the basis of the conception of domain.The domain structure and the algorithm of implementation are proposed.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
This article introduces the designing method of constraint logic programming.The method is a new way to improve the efficiency of PROLOG.The corresponding work in the SC PROLOG interpreter system is emphasized,on the basis of the conception of domain.The domain structure and the algorithm of implementation are proposed.
Key concepts: Prolog, Computer science, Logic programming, Constraint logic programming, Constraint programming, Concurrent constraint logic programming, Programming language, Interpreter