http:^^www.cs.washington.edu^research^projects^weird^www^hclp-iclp-89.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 63 行

HTML
63 行
字号 
Date: Tue, 10 Dec 1996 03:26:29 GMTServer: NCSA/1.4.2Content-type: text/html<html><head><TITLE>Constraint Hierarchies and Logic Programming</title></head><body><H2>Constraint Hierarchies and Logic Programming</H2><p>Authors: Alan Borning, Michael Maher, Amy Martindale, and Molly Wilson<p>Published in <em>Proceedings of the Sixth International Logic ProgrammingConference</em>, Lisbon, Portugal, June 1989, pages 149-164.<P><hr><H3>Abstract</H3>Constraint Logic Programming (CLP) is a general scheme for extending logicprogramming to include constraints.  It is parameterized by D, the domainof the constraints.  However, CLP(D) languages, as well as most otherconstraint systems, only allow the programmer to specify constraints thatmust hold.  In many applications, such as interactive graphics, pagelayout, and decision support, one needs to express <em>preferences</em> aswell as strict requirements.  If we wish to make full use of the constraintparadigm, we need ways to represent these defaults and preferencesdeclaratively, as constraints, rather than encoding them in the proceduralparts of the language.  We describe a scheme for extending CLP(D) toinclude both required and preferential constraints, with an arbitrarynumber of strengths of preference.  We present some of the theory of suchlanguages, and an algorithm for executing them.  To test our ideas, we haveimplemented an interpreter for an instance of this language scheme with Dequal to the reals.  We describe our interpreter, and outline some examplesof using this language.<P><HR><P>Click <!WA0><a href="ftp://cs.washington.edu/pub/constraints/papers/hclp-iclp-89.ps.Z">here</a> to get the postscript file.<P>There is an earlier <!WA1><ahref="ftp://cs.washington.edu/pub/constraints/papers/hclp-tr-nov-88.ps.Z">tech report version</a> of this paper, which is basically made obsolete bythe conference paper.  The tech report does have an appendix withpseudo-code for an HCLP interpreter, though.<P>Return to <!WA2><a href="http://www.cs.washington.edu/research/projects/weird/www/index.html">Constraints home page</a>

http:^^www.cs.washington.edu^research^projects^weird^www^hclp-iclp-89.html - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.cs.washington.edu^research^projects^weird^www^hclp-iclp-89.html 源码文件，采用 HTML 编程语言编写，共 63 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与universities相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?