将 aleph 与 SWI-prolog 结合使用:source_sink `library(aleph)' 不存在

2023-12-08

我正在尝试使用 SWI-Prolog 导入 Aleph。当我运行我的程序时,出现以下错误。我需要做什么才能导入library(aleph)?顺便说一下,我已经下载了aleph.pl对于我的程序。 这是我的测试程序,我知道aleph库一定有问题。

:- use_module(library(aleph)).
:- aleph.

我收到错误:

ERROR: c:/users/mac/desktop/swi-prolog/aleph draft/1.pl:1:
    source_sink `library(aleph)' does not exist
Warning: c:/users/mac/desktop/swi-prolog/aleph draft/1.pl:1:
        Goal (directive) failed: user:use_module(library(aleph))
ERROR: c:/users/mac/desktop/swi-prolog/aleph draft/1.pl:2:
        catch/3: Undefined procedure: aleph/0
Warning: c:/users/mac/desktop/swi-prolog/aleph draft/1.pl:2:
        Goal (directive) failed: user:aleph
Welcome to SWI-Prolog (threaded, 32 bits, version 7.6.4)

您应该使用安装程序:

?- pack_install(aleph).

% Contacting server at http://www.swi-prolog.org/pack/query ... ok
Install aleph@5 from GIT at https://github.com/friguzzi/aleph.git Y/n? 
% Cloning into '/home/carlo/lib/swipl/pack/aleph'...
% Contacting server at http://www.swi-prolog.org/pack/query ... ok
% "aleph.git" was downloaded 6 times
Package:                aleph
Title:                  Aleph Inductive Logic Prorgramming system
Installed version:      5
Author:                 Fabrizio Riguzzi <[email protected]>
Activate pack "aleph" Y/n? 
true.

?- use_module(library(aleph)).
true.
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

将 aleph 与 SWI-prolog 结合使用:source_sink `library(aleph)' 不存在 的相关文章

  • 创建 SSIS 包 - 将数据从 Oracle 复制到 SQL Server

    我想编写一个 SSIS 包 用于将数据从 Oracle 复制到 MS Sql 服务器 而且条件是 通过在 SQL 中选择一个表 就可以知道哪些数据必须从 oracle 移动到 SQL 基本上 如果 SQL Server 中的该表中没有该值
  • 谁给了 SWI-Prolog 幽默感?

    谁给了 SWI Prolog 幽默感 Welcome to SWI Prolog threaded 64 bits version 7 3 35 SWI Prolog comes with ABSOLUTELY NO WARRANTY Th
  • 重命名 APK 内的包名称

    我创建了一个AIR app目前市场上有这种产品 要更新应用程序 显然我必须保留相同的包名称 我的第一个版本是使用以下方式打包的Eclipse使用 ADT 插件 现在可以使用AIR 3 0 本机扩展 ANE 当我第一次开发该应用程序时不可用
  • 如何从序言中的列表中删除列表?

    我想在序言中实现以下问题 Given L1 1 2 3 4 and L2 2 3 4 调用名为remove list L1 L2 L 的函数将从L1中删除L2 所以L将是 1 但是 如果第二个列表的元素与 L1 中的元素顺序不同 或者更准确
  • 如何在Prolog中编写cmp_list/3函数?

    Write a predicate cmp list 3 the first 2 arguments are 2 lists and the last one is Comparison which means ge lt le or gt
  • “私人套餐”是什么意思? [复制]

    这个问题在这里已经有答案了 请看示例 private package com xm aws import static com xml aws PcgTest test public class PackageTest public sta
  • Prolog 中的匹配元组

    为什么Prolog匹配 X Xs 包含更多元素的元组 一个例子 test2 X Xs write X nl test2 Xs test2 X write X nl test
  • Prolog 中的迷你数独求解器中途停止

    我正在学习 七周七种语言 我只是想从书中找到一个例子 它解决迷你数独网格 4x4 作者使用的是 gprolog 但我使用的是 swi prolog 无论出于何种原因 我都无法让 gprolog 在我的虚拟机上工作 但 swi prolog
  • Prolog 实现 and/2、or/2、nand/2、nor/2、xor/2 [关闭]

    Closed 这个问题需要多问focused help closed questions 目前不接受答案 我想在序言中实现以下谓词并将它们用于真值表 and 2 or 2 nand 2 nor 2 xor 2 也许有人可以告诉我如何实现和
  • 转换句子会产生无限循环 - 但如何转换呢?

    我不明白这是哪里出了问题 请注意 我对 Prolog 很陌生 我确信我错过了一些东西 只是不知道那可能是什么 有人可以帮我吗 谢谢 这是我的代码 printSentence printSentence W write W write nl
  • Common Lisp——为什么这个符号不是外部的?

    我正在尝试在 ASDF 中运行测试 如下所示 foo asd defsystem foo tests depends on foo fiveam components module tests components file main pe
  • 适合从记录中提取 OneToMany 关系的约束编程

    也许有人可以帮助我解决 Prolog 或任何约束编程语言的问题 想象一个项目表 学生与母亲一起做某事的学校项目 每个项目都有一名或多名儿童参与 对于每个孩子 我们存储其姓名及其母亲的姓名 但对于每个项目 只有一个包含所有母亲的单元和一个包含
  • 导入 csv 文件数据以填充 Prolog 知识库

    我有一个 csv 文件example csv其中包含两列 标题为 var1 和 var2 我想填充一个最初为空的 Prolog 知识库文件import pl具有重复的事实 而每一行example csv处理方式相同 fact A1 A2 f
  • Python从更高级别的包导入模块

    这是我的包层次结构 app init py Empty file server py global vars py handlers init py Empty file url1 init py Empty file app1 py ap
  • R 中的优化函数可以接受目标、梯度和粗麻布吗?

    我有一个想要优化的复杂目标函数 优化问题需要相当长的时间来优化 幸运的是 我确实有可用的函数的梯度和粗麻布 R 中是否有一个优化包可以接受所有这三个输入 optim 类不接受 Hessian 矩阵 我已经扫描了用于优化的 CRAN 任务页面
  • 无法在Python中打开html5lib

    我刚刚使用 Windows 命令提示符安装了适用于 Python 的 html5lib 该软件包安装在这里 File C Python27 lib site packages html5lib 但是 如果我尝试导入 html5lib usr
  • 计算序言中列表的排列

    在 序言艺术 第二版中有一个问题 您应该定义一个谓词 Even permutation Xs Ys 和类似的奇数排列 当您查询时 例如 Even permutation 1 2 3 2 3 1 和 odd permutation 1 2 3
  • 我应该在 Prolog 和一般情况下避免尾递归吗?

    我正在阅读 立即学习 Prolog 在线书籍 以获取乐趣 我正在尝试编写一个谓词 该谓词遍历列表的每个成员并向其添加一个 使用累加器 我已经在没有尾递归的情况下轻松完成了 addone addone X Xs Y Ys Y is X 1 a
  • 您在 Java 项目中使用什么策略进行包命名?为什么? [关闭]

    Closed 这个问题是基于意见的 help closed questions 目前不接受答案 我不久前就想过这个问题 最近当我的商店正在开发第一个真正的 Java Web 应用程序时 这个问题又重新出现了 作为介绍 我看到两个主要的包命名
  • 根据一个值找到列表内列表的最小值

    我在序言中有这个列表 dublin london 1000 dublin moscow london 5000 我想计算列表的最小值 这样答案应该是 dublin london 1000 这个问题有一些类似的问题序言中列表列表中的最小值 h

随机推荐

  • 如何使用set来改变shell变量?

    我正在使用 GNU bash 版本 4 3 11 1 release x86 64 pc linux gnu set grep SHELL SHELL bin bash SHELLOPTS braceexpand emacs hashall
  • 检查一个日期是否落在日期范围-Linq 查询之间

    我正在数据库中存储员工的休假信息 从和到日期将存储在数据库中 我想阻止员工在已申请的休假范围内申请休假 例如 假设一名员工已在 01 01 2015 至 05 01 2015 之间申请休假 i if user again try to ap
  • 验证 JSF 中的小数输入

    我想将输入验证为整数 因此 任何带有小数的值都应该被过滤 但我不知道如何实现这一目标 我已经尝试了很多方法 但是使用下面的代码 如果输入是 61 2 则该值将转换为61 只是截断小数部分 但我想强制验证错误 我确信我可以在没有自定义验证器的
  • 不兼容的数据透视类型 SQL

    我已经获得了一个数据库 我需要执行PIVOT在 我的枢轴工作得很好 但是 我需要在 SELECT 中执行的列之一是text类型 但是 PIVOT 命令不能使用此数据类型 我该如何解决这个问题 我个人的偏好是将列类型转换为VARCHAR MA
  • BeautifulSoup 的 Python 内存问题

    我已经解决了这个问题 但我想知道为什么会导致这个问题 我使用 BeautifulSoup 从网页中识别出这个跨度 span span Ally s Sizzlers span 然后我分配这个变量 restaurant name span c
  • 按每个子列表的第一个元素对列表列表进行排序[重复]

    这个问题在这里已经有答案了 如何根据每个列表的第一个元素对列表列表进行排序 例如 给出这个未排序的列表 1 4 7 3 6 9 2 59 8 排序后的结果应该是 1 4 7 2 59 8 3 6 9 使用排序函数并将匿名函数作为值传递给键参
  • XML 文件作为 django 项目的模型

    我有一个由其他程序管理的 XML 文件 我正在编写一个 Web 服务 以便用户能够查询该文件 本质上 我使用基于 xml 的数据库 而不是使用 sql 作为 Django 中的模型数据库 我该怎么做呢 我发现的所有教程都在后端使用 SQL
  • ASP.NET“特殊”标签

    像这样的 特殊 ASP NET 标记的官方名称是什么 我似乎无法弄清楚这些的概念或众所周知的名称 所以我在搜索更多信息时遇到了困难 作为奖励 任何人都可以给我一个所有可能的 特殊标签 的快速概要以及它们每个标签的作用 或向我指出一种资源 正
  • 如何将自定义 JAR 添加到“eclipse-pmd”插件?

    安装了Eclipse PMD 插件 由菲利普 格拉夫 from here 我尝试关联自定义 PMD 规则类 JAR 但找不到它的规定 该 JAR 包含自定义规则类 即extends AbstractJavaRule间接 那么有什么办法可以配
  • Windows VC++ 获取机器型号名称

    谁能告诉我如何获取 Windows 机器的型号名称 我是 Windows VC 的新手 例如 我有一台在 Windows 上运行的 IBM ThinkCenter M50 这里的型号名称是 Think Center M50 我想使用一些 A
  • Visual Studio 代码自动导入

    我正在从 Webstorm 迁移到 Visual Studio Code Webstorm 的性能很糟糕 Visual Studio 代码对于查找我需要的依赖项并导入它们并不是很有帮助 到目前为止 我一直在手动执行此操作 但说实话 我宁愿等
  • Flex 换行扫描野牛

    我想使用相同的 flex bison 扫描仪 解析器作为解释器并加载要解释的文件 在这两种情况下我都无法让换行符解析正常工作 解释器 有一个提示 我可以输入按 ENTER 终止的命令 文件 这是一个示例输入文件 切 begin print
  • PyVista 中的 3D 表面未正确生成。我试图避免关闭中心开口,但不知道该怎么做

    PyVista 填充开口出现不应填充的问题 import math import numpy as np import matplotlib as mpl import pyvista as pv mpl use Qt5Agg mpl rc
  • MPMediaItemPropertyArtwork 导致崩溃(奇怪的问题)

    allocations before running extra loop 代码 loading items to the array there are no memory warnings after this is completed
  • 使用 Excel VBA 从网站抓取文本

    我找到了这个article解释如何使用 Excel VBA 从网站上抓取某些标签 下面的代码获取第一个的内容 p 它找到的标签 Sub get title header Dim wb As Object Dim doc As Object
  • 向 UINavigationBar 后退按钮添加方法?

    如何向 UINavigationbar 后退按钮添加方法 以便每当我单击该后退按钮时 我需要检查一些值并显示 UIAlertView 有什么选择吗 我尝试过这个方法 但它对我有用 void navigationController UINa
  • 使用 javascript (codeigniter) 将 PHP 以动态形式导入数据库

    我想使用数组插入多个数据 PHP CodeIgniter 但我仍然发现一个错误 错误是数组不清楚 function insert hitung count POST pembicara pengisi implode POST pembic
  • 按 MySQL 中的当前日期过滤

    如何将当前日期传递给 mysql 中的查询 例如这样的查询 select from Dailytimesheet dailytimesheet where dailytimesheet TrackingDate 2010 05 03 在 M
  • 初始化与赋值

    术语 初始化 和 赋值 似乎可以互换使用 我做了一些搜索 似乎技术上可能存在差异 我的理解是 在变量的上下文中 当 JavaScript 引擎使其可供使用和赋值时 变量就会被初始化 无论是显式完成 如let foo 1 或通过 JavaSc
  • 将 aleph 与 SWI-prolog 结合使用:source_sink `library(aleph)' 不存在

    我正在尝试使用 SWI Prolog 导入 Aleph 当我运行我的程序时 出现以下错误 我需要做什么才能导入library aleph 顺便说一下 我已经下载了aleph pl对于我的程序 这是我的测试程序 我知道aleph库一定有问题