2012-05-20 14 views

답변

2

두 가지 옵션이 있습니다.

  1. 다음 SWI - 프롤로그에서 규칙과 문제 EOF (Ctrl 키 + D을 입력 faster.pl 말, 다음 프롬프트에서 [faster].
  2. 문제 [user]. 해당 파일을로드 파일에 규칙을 넣어).
0

프롤로그 database은 동적입니다. 규칙베이스 수정은 assertz/1 및/1로 수행 할 수 있습니다.

?- faster(X,Y). 
X = ann, 
Y = bob ; 
X = ann, 
Y = norm. 
: 그런 다음, @larsman 대답에 추가, 당신은 당신의 사실베이스에서 그 후

?- assertz((faster(X,Y) :- fast(X), slow(Y))). 

을 쓸 수

관련 문제