Prolog 中的简单输入输出

2024 年 8 月 29 日 | 阅读 3 分钟

我们可以使用 Prolog 的以下谓词来读取数据

seeing(File)
see(File)
read(Data)
seen

为了提供输入源，File = 'user ' 将选择键盘。否则，File 应该是现有的文件名。以下程序显示了一个读取文件数据并将其打印到屏幕上的程序，如下所示

browse(File) :-
	seeing(Old),		/*It will save for later */
	see(File),		/* It will open this file */
	repeat,
	read(Data), 		/* It will read from the file */
	process(Data),
	seen,			/* It will close the file */
	seen(Old), 		/* It will show the previous read source */
	!			/ * It means stop now */
  
process(end-of-file) :- ! .
process(Data) :- write(Data), nl, fail.

我们可以发出以下目标来检查 'browse' 的源文件。假设浏览文件的名称是 browse.pro

当 Prolog 满足 'seeing(Old)' 时，变量 Old 将绑定到端口，该端口是当前输入的读取端口。当 Prolog 满足 'see(File)' 时，将打开文件名绑定为 'File' 值的端口，并且流或读取端口与该文件关联。

在程序中，'Data' 变量应该取值。数字序列或 Prolog 程序可以通过 'File' 包含。在下一节中，将按如下格式设置数字文件

2 		/* = real 32.2 */
		/* = integer 31 */
0.		/* = real 4.0 */

以下示例显示了浏览器程序的交互版本

browse :- 
	seeing(Old), 		/* It will save for later */
	see(user),		
write('specify the file name to browse: '), 
read(File),
see(File),
repeat,
read(Data), 		/* It will read from File */
process(Data),
seen,			/* It will close the file */
see(Old)		/* It will previous read source */
!.			/* It means stop now */

在这里，我们将展示如何使用此版本来注意用户提供文件名的形式。

?- browse.
Specify the file name to browse: 'abc.pl'.
…

在 Prolog 中，要写入数据，我们可以使用以下谓词

telling(File)
tell(File)
write(Data)
nl
writeln(Data)
told  

我们将使用 File = 'User' 打开输出目标屏幕。以下 Prolog 程序用于将当前程序保存在内存中到一个文件中。

my_save(ToFile) :-
	telling(Old), 		/* It will current write output */
	tell(To File),		/* It will open this file */
	listing, 			/* It will list all clauses in memory */
	told, 			/* It will close ToFile */
 	tell(Old).		/* resume this output */

当 Prolog 满足 'telling(Old)' 时，变量 'Old' 将绑定到端口，该端口与当前的写输出目标相关联。当 Prolog 满足 'tell(ToFile)' 时，将打开绑定到 'ToFile' 的文件名，并且流或输出端口将与该文件关联。使用流或端口，后续的写入将转到该文件。然后 'told' 将关闭文件。

下一主题#