欢乐东方
发表于 2025-3-30 10:13:33
Conference proceedings 2002uly/August 2002..The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed.
lactic
发表于 2025-3-30 14:01:50
http://reply.papertrans.cn/59/5879/587896/587896_52.png
STRIA
发表于 2025-3-30 16:59:33
On Enabling the WAM with Region Supportacking with instant reclamation, and cuts. The performance of region-based execution is compared with that of the baseline garbage-collected implementation on several benchmark programs. A region-enabled WAM performs competitively and often results in time and/or space improvements.
expunge
发表于 2025-3-30 22:58:01
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation of “construct terms”. Then, it is argued that logic programming concepts are particularly appropriate for a declarative query and transformation language for XML and semistructured data. Finally, a new form of unification, called “simulation unification”, is proposed for answering “query terms”, and it is illustrated on examples.
Ingratiate
发表于 2025-3-31 01:40:35
Representing Arithmetic Constraints with Finite Automata: An Overview well as to a normal form, for the first-order linear theory of the integers, of the reals, and of the integers and reals combined. This approach has led to an implemented tool, which has the so far unique capability of handling the linear first-order theory of the integers and reals combined.
Urea508
发表于 2025-3-31 08:36:38
Trailing Analysis for HALice as large as for the WAM. We present a trailing analysis aimed at determining which Herbrand variables do not need to be trailed. The accuracy of the analysis comes from HAL’s semi-optional determinism and mode declarations. The analysis has been partially integrated in the HAL compiler and benchmark programs show good speed-up.
粗糙滥制
发表于 2025-3-31 10:55:52
Access Control for Deductive Databases by Logic Programmingorized access requests to be performed. The protection of the positive information that may be retrieved from a database and the information that may be inserted are treated in a uniform way as is the protection of the negative information in the database, and the information that may be deleted.
全面
发表于 2025-3-31 17:12:05
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLPlas where negation is applied to closed subformulas only. We characterize these properties as perfect models of constraint logic programs, and we present a tabulation procedure for the top-down evaluation of stratified constraint logic programs.
即席
发表于 2025-3-31 18:02:25
http://reply.papertrans.cn/59/5879/587896/587896_59.png
Guaff豪情痛饮
发表于 2025-4-1 00:36:56
0302-9743 s were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed.978-3-540-43930-1978-3-540-45619-3Series ISSN 0302-9743 Series E-ISSN 1611-3349