問題タブ [unify]

次のルールがあるとします。

そして、次のように実行します。

testSWI-Prolog が と の両方を'test'に統一するのはなぜunify('test', 'this is a test').ですか? SOに関するPrologの質問に答えているときに、これに遭遇しました。私はその人の質問に答えることができましたが、この特定の行動を説明することはできませんでした。

私のファイルには、かなり自明な次のプロローグ式があります。このルール (1 と呼ぶ) に必要なすべての必須関数を実装し、正しくテストしました。

何時間も試した後、次のことがわかりませんでした。

正しく動作し、戻ります:-

しかし、それは統一しません

私は多くのことを試しましたが、これはルール1の整数部分（;の前）が実部分よりも最初に指定されたためであると結論付けました（2つを交換したところ、逆の方法で機能し始めました）。前編との融合を図りながら繰り返していく。そこにはそのような事実がないので、無限ループに陥ります。同じことを行う別の方法を指定してください。これが私の割り当ての残りの部分であり、私は何時間もそれに打ちのめされています。

前もって感謝します！

データの同期を維持するのに問題があります。UNIFY Dataserverを使用して、過去20年間UNIXマシンでシステムを実行してきました。Microsoftへの移行が推進されており、現在、Microsoftネットワーク上でMicrosoft SQL Server2008R2データベースも実行しています。これら2つのデータベースの特定のテーブルは、同期を維持する必要があります。さらに、同期する必要のあるテーブルは、わずかに異なるテーブル構造に従います。

MicrosoftSQLサーバーは64ビットマシンで実行されます。Unifyは、データベースの同期を維持しようとするときに使用する64ビットのODBCドライバーを作成していません。

Unifyでデータベーストリガーを使用して、テーブルに加えられたすべての変更のログを書き込み、ログをFTPで転送して変更を適用する（またはWebサービスを呼び出して変更を適用する）可能性を検討しましたが、トリガーが起動して書き込みを行う場合ログ/サービスの呼び出し、トランザクションがロールバックされた場合でも、ログは残ります。

これらのデータベースの同期を維持するための最良の方法について誰かが何か考えを持っていますか？

前もって感謝します

許す

Unify、WIF、WCF、ASP.NET MVC、ASP.NET、Silverlightを使用して、クロスカッティングレイヤーにセキュリティシステム（つまり、認証と承認）を実装する方法の例を探しています...

なぜ私たちは常に車輪の再発明をしなければならないのですか？:-)

前もって感謝します。

次のように指定されたアルゴリズムでunify関数を実装しようとしています

⊗は型構築子の1つです{→、×}。

しかし、私はこれをhaskellで実装する方法を理解していません。どうすればいいですか？

改行スタイルが異なる可能性のあるテキストがあります。すべての改行 '\r\n', '\n','\r' を同じ改行 (この場合は \r\n ) に置き換えたい。

これを行う最速の方法は何ですか? 私の現在のソリューションは次のようになります。

問題は、 \r\n が \r\n\r\n に複製されるため、1 回の置換ではこれを実行できないことです。

ご協力ありがとうございました！

Bootstrap テンプレート unify ( http://htmlstream.com/unify/ ) に基づいて、ページの上部にスティッキー div を表示したいと思います。現在のソリューションでは div が表示されますが、ナビゲーション バーは新しい div の後ろに隠れています (オーバーラップ)。navbar と新しい div が完全に表示されるように、ページ全体を div のサイズだけ下に移動するつもりです。私のdivは次のようになります。

を使用するclass="top"と、新しい div が正しく表示されますが、ページを下にスクロールすると明らかにスクロールしてしまいます。との組み合わせはうまくtopいきnavbar-fixed-topません。

簡単に言うと、navbar の前にスティッキー div を配置するにはどうすればよいですか? クラスnavbar-fixed-topは私のdivと重なっているようです。

すでに対処した質問のバージョンを確認しましたが、見つけたいくつかの良いヒント (たとえば、rank() over (partition...) を使用) は、使用している Sybase バージョンでは機能しないようです。

次のように整理されたデータを取得する手順を実行したいと考えています。

メール | 優先
メール1 | PreferenceXYZ
メール 1 | 好みABC

そして、次のようなテーブルにレンダリングします。

メール | 好み1 | Preference2
メール 1 | PreferenceXYZ | 好みABC

本質的に、私は同じ人物に対して複数のレコードを持っており (一意の識別子として電子メール レコードを介して最もよく識別されます)、特定のユーザーのこれらの複数の設定を取得し、ユーザーごとに (電子メールごとに) 1 つの個別のレコードを作成したいと考えています。