Extending LogicWeb via Hereditary Harrop Formulas

スポンサーリンク

概要

• 論文の詳細を見る

• We propose HHWeb, an extension to LogicWeb with hereditary Harrop formulas. HHWeb extends the LogicWeb of Loke and Davison by allowing goals of the form (∃x1…∃xnD)⊃G (or equivalently ∀x1…∀xn (D⊃G)) where D is a web page and G is a goal. This goal is intended to be solved by instantiating x1,…,xn in D by new names and then solving the resulting goal. The existential quantifications at the head of web pages are particularly flexible in controlling the visibility of names. For example, they can provide scope to functions and constants as well as to predicates. In addition, they have such simple semantics that implementation becomes more efficient. Finally, they provide a client-side interface which is useful for customizing web pages.

• 2008-06-01

著者

• Kang Dae-seong

  Electronics Eng. Donga University

• Kwon Keehang

  Computer Eng. Donga University

関連論文

• Extending LogicWeb via Hereditary Harrop Formulas
• Improving Robustness via Disjunctive Statements in Imperative Programming

スポンサーリンク