我知道有一个谓词：
line_count(Stream, LineCount)
但是这个谓词得到你正在读取或写入多少个数字？，我需要附加一个文件，在附加它之前，我需要检查已插入的行数，那么有什么办法可以做到吗？
谢谢，
问问题
1315 次
1 回答
1
如果 Stream 可以写入，那么它就是已写入的行。如果它是开放阅读的，那就是阅读的行。
您可以打开文件并阅读它。然后保存这些行，在你再次打开它进行写作后，你可以计算你写的行数。
http://sicstus.sics.se/sicstus/docs/4.1.0/html/sicstus/mpg_002dref_002dline_005fcount.html
于 2013-01-04T14:39:51.367 回答