问题标签 [unify]

假设我有以下规则：

然后我按如下方式运行它：

为什么 SWI-Prolog 统一test和'test'到unify('test', 'this is a test').？我在回答关于 SO 的 Prolog 问题时遇到了这个问题。虽然我能够回答这个人的问题，但我无法解释这种特殊行为，我想知道其他人是否可以。

我的文件中有以下 prolog 表达式，这是非常不言自明的。我已经正确实施和测试了这条规则（称之为 1）所需的所有必需功能。

经过数小时的尝试，我无法弄清楚以下内容：

正常工作并返回：-

但它不统一

我尝试了很多事情并得出结论，这是由于规则 1 中的整数部分（之前；）比实数部分先指定（我交换了两者，它开始以相反的方式工作）。它试图与第一部分统一并反复进行。由于那里没有这样的事实，它只会进入无限循环。请指定另一种方法来做同样的事情。这是我的任务中唯一剩下的部分，我被它打动了好几个小时。

提前致谢！

我们很难保持数据同步。过去 20 年来，我们一直在使用 UNIFY 数据服务器在 UNIX 机器上运行系统。一直在推动迁移到 Microsoft，现在还在我们的 Microsoft 网络上运行 Microsoft SQL Server 2008 R2 数据库。这两个数据库中的某些表需要保持同步。此外，需要同步的表遵循稍微不同的表结构。

Microsoft SQL 服务器在 64 位计算机上运行。Unify 没有编写 64 位 ODBC 驱动程序供我们在尝试保持数据库同步时使用。

我已经研究了在 Unify 上使用数据库触发器的可能性，它写入对表所做的所有更改的日志，然后 FTP 日志并应用更改（或调用 Web 服务以应用更改），但是当触发器触发并写入时日志/调用服务，如果事务回滚，日志仍然存在。

有没有人知道保持这些数据库同步的最佳方法是什么？

提前致谢

授予

我正在搜索如何使用 Unify、WIF、WCF、ASP.NET MVC 或 ASP.NET 或 Silverlight在横切层实现安全系统（我的意思是身份验证和授权）的示例......

为什么我们总是要重新发明轮子？:-)

提前致谢。

我正在尝试使用指定为的算法实现统一函数

其中 ⊗ 是类型构造函数 {→, ×} 之一。

但是我不明白如何在haskell中实现这一点。我该怎么办？

我有一个可能有不同换行样式的文本。我想用相同的换行符替换所有换行符 '\r\n', '\n','\r' （在本例中为 \r\n ）。

最快的方法是什么？我目前的解决方案看起来像这样，这太糟糕了：

问题是你不能用一个替换来做到这一点，因为 \r\n 将被复制到 \r\n\r\n 。

感谢您的帮助！

我有点被关于我的考试的作业困住了。我想通过手动应用统一算法来找出这两个函数的类型：

有人能指出我正确的方向吗？到目前为止，我能找到的唯一资源是维基百科条目，由于高度抽象，它并没有真正帮助我。

问候和谢谢。

我购买了 Unify，并将其安装在此处的服务器上：

[隐]

在我的 android 上，我用子菜单展开一个菜单项，但是当试图点击一个子菜单项时，菜单只是收缩并且没有任何反应！知道如何解决这个问题吗？

基于 Bootstrap 模板统一（http://htmlstream.com/unify/），我想在页面顶部显示一个粘性 div。我当前的解决方案显示 div，但导航栏隐藏在新 div 后面（重叠）。我真的打算将整个页面向下移动 div 的大小，以便导航栏和新 div 完全可见。我的 div 可能看起来像这样：

当我使用 时class="top"，新的 div 会正确显示，但是当我向下滚动页面时，它显然会滚开。top和的组合navbar-fixed-top对我不起作用。

简而言之：我怎样才能在导航栏之前有一个粘性 div？该课程navbar-fixed-top似乎与我的 div 重叠。

我查看了已经解决的问题的版本，但是我发现的一些好的技巧（例如使用 rank() over (partition...)）似乎不适用于我所在的 Sybase 版本。

我希望运行一个程序来提取按如下方式组织的数据：

电子邮件 | 首选
电子邮件1 | 偏好
XYZ 电子邮件1 | 偏好ABC

并将其呈现在如下表中：

电子邮件 | 偏好1 | 偏好
2 电子邮件 1 | 偏好XYZ | 偏好ABC

本质上，我有同一个人的多个记录（最好通过电子邮件记录识别为唯一标识符），我想为给定用户捕获这些多个偏好并为每个用户（每封电子邮件）创建 1 个单独的记录。