검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Extending LogicWeb via Hereditary Harrop Formulas 유전적 Harrop 공식을 통해 LogicWeb 확장

Keehang KWON, Dae-Seong KANG

  • 조회수

    0

  • 이것을 인용

요약 :

우리는 유전적인 Harrop 공식을 사용하는 LogicWeb의 확장인 HHWeb을 제안합니다. HHWeb은 다음 형식의 목표를 허용하여 Loke와 Davison의 LogicWeb을 확장합니다. x1... xn D) G (또는 동등하게 x1... xn(D G)) 어디 D 웹페이지이고 G 목표이다. 이 목표는 인스턴스화를 통해 해결하기 위한 것입니다. x1,...,xn in D 새로운 이름으로 결과적인 목표를 해결합니다. 웹 페이지 헤드의 존재 수량화는 이름의 가시성을 제어하는 ​​데 특히 유연합니다. 예를 들어, 함수와 상수는 물론 술어에도 범위를 제공할 수 있습니다. 게다가 구현이 더욱 효율적이도록 단순한 의미를 갖고 있습니다. 마지막으로 웹 페이지를 사용자 정의하는 데 유용한 클라이언트 측 인터페이스를 제공합니다.

발행
IEICE TRANSACTIONS on Information Vol.E91-D No.6 pp.1827-1829
발행일
2008/06/01
공개일
온라인 ISSN
1745-1361
DOI
10.1093/ietisy/e91-d.6.1827
원고의 종류
LETTER
범주
소프트웨어의 기초와 프로그램 이론

작성자

키워드