【问题标题】:How can use data file with Eclipse-clp program如何在 Eclipse-clp 程序中使用数据文件
【发布时间】:2019-04-25 20:56:35
【问题描述】:

如何在 Eclipse-clp 或 Prolog 程序中使用数据文件。用于变量和数组值。例如,如果您想将数据作为大数组提供给程序。如何从数据文件中读取这些数据?

【问题讨论】:

    标签: prolog eclipse-clp


    【解决方案1】:

    ECLiPSe 包含一个 CSV 库:

    http://eclipseclp.org/doc/bips/lib/csv/index.html

    此库允许您将 CSV 文件解析为列表,然后您可以使用另一个库将其转换为数组:

    http://eclipseclp.org/doc/bips/lib_public/arrays/index.html

    【讨论】:

    • 非常感谢,那么ECLipse不会像MiniZinc那样读取数据文件吗?
    【解决方案2】:

    如果您不介意将数据采用 Prolog 语法,那么这很简单。只需打开一个文件并使用 read/2 读取它:

    open(File, read, Stream), read(Stream, Data), close(Stream), ...
    

    该文件应包含单个 Prolog 术语,它可以是任何有效的 Prolog 类型,例如结构、列表、数组、数字、字符串和任意嵌套。

    【讨论】:

      猜你喜欢
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 2010-11-02
      • 1970-01-01
      • 1970-01-01
      • 2014-03-27
      相关资源
      最近更新 更多