The search functionality is under construction.
The search functionality is under construction.

Extending LogicWeb via Hereditary Harrop Formulas

Keehang KWON, Dae-Seong KANG

  • Full Text Views

    0

  • Cite this

Summary :

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... xn D) 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.

Publication
IEICE TRANSACTIONS on Information Vol.E91-D No.6 pp.1827-1829
Publication Date
2008/06/01
Publicized
Online ISSN
1745-1361
DOI
10.1093/ietisy/e91-d.6.1827
Type of Manuscript
LETTER
Category
Fundamentals of Software and Theory of Programs

Authors

Keyword