|
predicate use in written and oral commun- ication, Psychological Reports, 65(2), 1989.
[15]Dutton, W., Rogers, E. and Jun, S. H. 1987. \"Diffusion and Social Impacts of Personal“
[16]Fisher, B., Magolis, M. & Resnick, D.(1996), \"Breaking Ground on the Virtual\"
[17]Flower, G. D., & Wackerverth, M.
|
|
|
Predicates : Possible predicate chain, if there is predicate raising, VP-movement in overt syntax, and other cases.
e. Operator-variable constructions:
An operator-variable construction is a two-membered chain (1, 2), where the operator 1 is in an A-position and the variable 2 is in an A-position.
|
|
|
경우보다 비효율적일 수 있다는 것을 알 수 있다.
2. 이중 술어 인덱싱(double predicate indexing)
시스템이 초기화될 때 읽어들인 IC의 집합에서 몸체에 나타난 모든 데이타베이스 술어의 쌍에 대해 인덱스를 구성한다. 단일 술어 인덱싱보다 인덱스
|
|
|
predicate
: 위치 단계에서 선택된 노드들의 집합을 임의의 식을 이용해서
선택한다.
위치 단계에서 axic와 node test, predicate는 다음과 같은 형태로
기술하게 된다.
axis와 node test 사이에는 :: 를 기술하고,
predicate 은 [] 를 이용해서 기술한다.
형
|
|
|
Predicate Calculus) (더 정확하게는 일차논리 (First-order Predicate Calculus)) 에 기반한 것이다 ; 그러나 Prolog 는 단지 Horn 절 (Horn clause) 만을 허용하는 제한이 있다. Prolog 프로그램의 실행은 first-order resolution 에 의한 정리증명 (Theorem Proving) 을 효율적으
|
|
메뉴펼치기
