프롤로그의 "동적"조건 자

Question

데이터베이스 파일을로드 한 후에 assert를 사용할 수 있도록 동적 규칙을 만들고 싶다면 어떻게해야합니까? 나는 파일이 같은 것입니다 순간에 XSB 프롤로그를 사용하고 있습니다 :

? consult('D:\file.P). 
not permitted to assert to static predicatelikes/2 
forward continuation...blahblah 

어떤 아이디어 :

:- dynamic likes/2 

likes(mary,tom) 

내가 XSB를 가진 파일을 참조하려고 내가 오류가?

Answer 1

동적 조건자는 예상 한대로 작동하므로, 작동하지 않는 경우 다른 문제가 있습니다.

test.P은 다음과 같습니다 경우 : 그것은 협의 후 더/2 사실을 주장 할 수 있습니다 좋아 할 수

:- dynamic likes/2. 

likes(mary,tom). 

:

XSB Version 3.2 (Kopi Lewak) of March 15, 2009 
[i686-pc-linux-gnu; mode: optimal; engine: slg-wam; scheduling: local; word size: 32] 

| ?- consult('test.P'). 
[Compiling ./test] 
[test compiled, cpu time used: 0.0440 seconds] 
[test loaded] 

yes 
| ?- assert(likes(mary, bob)). 

yes 
| ?- likes(X,Y). 

X = mary 
Y = tom; 

X = mary 
Y = bob;