Prolog 쿼리 셸에서 변수를 사용하는 방법은 무엇입니까?

Question

Prolog 쉘에서 변수를 사용할 수 있다는 것을 알고 있습니다. ('$'문자를 사용하는 것과 같은 것 같지만 ... 기억이 안납니다 ...)

다음 쿼리를 실행하면 고급 :

?- leggiFile('dataggare.txt', ListaTesto), tokenizzaLista(ListaTesto, TokenizedList, 1). 
ListaTesto = [68, 117, 114, 97, 110, 116, 101, 32, 105|...], 
TokenizedList = [t(1, [68, 117, 114, 97, 110, 116, 101]), t(-1, [32]), t(2, [105, 108]), t(-1, [32]), t(3, [77, 101, 100|...]), t(-1, [44]), t(-1, [32]), t(4, [...|...]), t(..., ...)|...] 

을하지만 오류로 이동, 별도로 두 개의 쿼리 leggiFile/2 및 tokenizzaLista/2을 실행 이런 식으로하려고하면 :

?- leggiFile('dataggare.txt', ListaTesto). 
ListaTesto = [68, 117, 114, 97, 110, 116, 101, 32, 105|...]. 

?- tokenizzaLista($ListaTesto, TokenizedList, 1). 
ERROR: variable `ListaTesto' does not exist 

왜? 그것은 나에게 매우 이상한 것처럼 보인다. 내가 뭘 놓치고 있니? tokenizzaLista가 DCG 기반으로하는 경우 아니, 이것은 아니다

Answer 1

?- open('uty.pl',read,S). 
S = <stream>(0x236d4d0). 

?- read($S,K). 
K = (:-module(uty, [atoi//2, cache_file/2, cache_path/4, call_nth/2, cat/2, count_solutions/2, .../...|...])). 

?- read($S,K). 
K = (:-reexport(nb_uty, [ (<<)/2, (>>)/2, ++/2, (**)/2])). 
... 

하지만 가비지 컬렉션이 방해 할 수 있는지 확실하지 않습니다 ...

Documentation 상태

Bindings resulting from the successful execution of a top-level goal are asserted in a database if they are not too large.