我完全是一个Prolog新手，我目前正在用Prolog构建一个KenKen求解器，我有点卡住了。但是，X和Y可以是(X/Y)或(Y/X)；这与顺序无关。
我正在尝试弄清楚如何使Prolog能够以“二选一”的方式检查这两种可能性。
浏览 3提问于2019-12-04得票数 0
回答已采纳
2回答
考虑下面的代码片段，它们分别用Scheme和Prolog编写：(define gcd (cond ((= a b) a)((> a b) (gcd (- a b) b))gcd(A, B,我们应该在哪里做出区别，以便将它们归类为函数式编程语言或基于逻辑的编程语言？
就我而言，他们做的事情完全一样，调用递归函数直到它终止。
浏览 4提问于2016-10-09得票数 3
回答已采纳
我使用的是Visual studio 2008。在正常的类或结构中，intellisense工作良好。
如何在visual studio中将intellisense函数与boost库一起使用？
浏览 1提问于2011-03-31得票数 1
2回答
我知道Prolog (逻辑编程)是关于返回true和false的，函数是返回从列表、数字到布尔值的任何东西。最初，Prolog似乎没有函数的概念，而是依赖于统一，但是您可以这样做：当然，我可以使用统一：
log2(X,Result) :- Result is log(X)/log(2).但是说我想使用‘语法糖函数风格’，这样我就可以写
浏览 3提问于2013-08-24得票数 8
回答已采纳
Spring WebFlow支持一些高级重用特性，如流继承和子流。在SWF xml定义中使用此功能非常简单，例如：<subflow-state id="addGuest" subflow="createGuest">
我可以在Grails中将这些特性与weblflow一起使用吗？我可以使用SWF groovy dsl来定义它们吗？如
浏览 2提问于2009-10-19得票数 2
2回答
如何实现完全声明式角逻辑？
、、、、
我想将一些知识正规化，并在所谓的完全声明式 (或完全声明式Prolog)中执行查询。有人能提供一些关于如何实施它的指导方针吗？我简单地回顾一下上面的链接中的详细描述：
形式语言是Prolog的核心：“程序”是一组规则和事实，就像Prolog中的那样(包括函数和变量，基本上只包含用户定义的谓词)。然而，与Prolog不同的是，我正在寻找一个与逻辑程序的标准声明性语义有关的合理和完整的实现--最小的Herbrand模型(即归纳定义的一组地面术语)。在逻辑编
浏览 3提问于2015-07-28得票数 5
根据边长"a“和"b”计算低音值的函数将返回sqrt(a *a+b* b)。
问题是，如何在Scala中定义这样一个函数，以便它可以与实现适当方法的任何类型一起使用？就上下文而言，想象一个完整的数学定理库，你想要使用Int，Double，imagine，Double-Rational，BigInt或BigInt类型，这取决于你在做什么，以及速度、精度、准确性和范围要求
浏览 1提问于2009-01-27得票数 25
回答已采纳
m4可以与不同的编程语言一起使用，因为它对无法识别的文本的默认策略是输出，并且它具有方便的预处理器使用所需的引用机制。我的意思是，我可以用IDE认为它是Ada的方式编写预处理代码。Ada注释以--开头，Prolog注释以%开头或在/* */中。我不能轻易地混淆Ada和Prolog。
m4在预处理方面做得足够好，但是它的编程方面很糟糕。我想:为什么我不试试通用语言呢？Prolog看起来很适合我的任务。Prolog有ISO标准，逻辑编程
浏览 0提问于2013-06-28得票数 2
如何在不使用TimeToStr(const datetime:TDateTime；const formatsettings:TFormatSettings)获得没有秒的TTime值的额外开销的情况下，从是否有某种可以执行的数学运算(如ANDing或ORing与某物的值)？
浏览 2提问于2011-06-25得票数 11
回答已采纳
面向游戏的GPU，例如GeForce模型，要比面向计算的GPU(如Tesla )便宜得多。我有限的理解是，面向计算的模型可能缺少视频输出(不需要计算)，而游戏模型可能正在做32位的数学运算，而不是64位。假设Tensorflow使用(或更喜欢)64位，这是否意味着如果与Tensorflow一起使用，游戏模型将无法工作或产生不足的结果？在选择与Tensorflow一起使用的GPU时，应该寻找哪些属性？
浏览 5提问于2016-03-31得票数 6
回答已采纳
在prolog中，=用于统一，据我所知，如果这两个术语可以匹配，如果变量实例化，它们是统一的。?- 2+2 = 4.
尽管2+2生成4，这与另一个项的数字相同。
浏览 4提问于2017-03-31得票数 2
回答已采纳
但是，我不太喜欢这个代码，原因如下：
定义taggedElementStack := list taggedElement。将标记元素的有效列表定义为元组，其元素是标记元素的任意列表，并证明这些元素与相邻元素兼容。
(*我
浏览 4提问于2012-09-11得票数 3
回答已采纳
我一直在学习prolog中的递归，它似乎可以工作，但输出的格式非常奇怪； In < 60, M is In.
浏览 0提问于2017-02-20得票数 2
我编写了一个Prolog程序来求解简单的三角方程。我写它是为了得到三角函数的值。例如，我可以获得sin(45)的值，但不能将sin(45)的值赋给术语sin(45)。
浏览 0提问于2014-09-01得票数 3
回答已采纳
3回答
可以找到文本的CSS选择器？
、、、、
我第一次尝试用JS来使用和解析XML，并用HTML和CSS对其进行格式化和显示，我的XML "math_functions.xml“是数学操作和函数的列表，列出了它们的名称、如何在示例表达式中使用它们以及它们的描述表达式的示例是"x + y“或"x % y”或“而论”，用于加法、余数和绝对值。我希望这样做，以便当我将它打印到网页上时，所有变量(例如"x“和"y")将是一个与操作或</e
浏览 5提问于2013-12-27得票数 0
回答已采纳
3回答
我的公司有一个用Prolog运行的项目，我想澄清一些关于如何学习它的事情。我知道Prolog是不同的。它不应该像任何其他语言一样被学习。话虽如此，考虑到我还没有接触到任何Prolog书籍的事实，有没有任何书籍或在线资源，在那里我可以学习Prolog，就像我们学习C/C++一样？这样我就可以学习Prolog了吗?有没有哪本书能让我知道如何用Prolog编程？(基础，循环，如何实现条件，程序结构，什么是谓词？怎么用？如何定义它？依此类推...)。
浏览 3提问于2010-01-02得票数 17
回答已采纳
3回答
在SWI (或至少)中，“浮动”似乎是IEEE的双重精度，可以通过以下方法确定： planck_float_descent(1.0,P).其他Prolog有什么实现？
浏览 0提问于2014-12-25得票数 5
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
