标签:prolog

  • 在Java和SWI Prolog之间连接 - java

    时间:2020-8-28

    我正在尝试从Java运行swi prolog我正在使用eclipse,并且已将jpl.jar插入到项目中(属性->库->添加外部jar),当我尝试运行程序时(这是jpl的示例,因此应该可以工作。)出现错误: Exception in thread "main" java.lang.UnsatisfiedLinkError: n […]

  • JPL7,序言查询中的字符串列表 - java

    时间:2020-8-12

    我有一个序言查询,它需要一个数组作为原子: searchEventsOnCategory(类别,事件)类别是字符串列表。 输入示例:searchEventsOnCategory(['Bar','Disco'],事件) 输出:事件= [listOfEvents] searchEventsOnCategory(Categories,Events):- finda […]

  • 使用prolog和clpr约束系统 - java

    时间:2020-8-3

    我希望在桌面应用程序中使用prolog来生成满足约束系统的随机向量。 例如,我们的用户可以在运行时为我们的软件提供以下信息: 给定向量<x1, x2, x3, ... x30>,我们可能有两个约束: x1 > x2 + x3 + x4 x5 <= sin(x6 + x7) 我想做的是生成一个大致遵循以下形式的序言程序: :- rand […]