Datalog に入門する - プログラムを自動生成したい
とある論文がデータのスキーマ変換を行うために Datalog を用いていた。Prolog は触ったことあるし、Datalog って言葉も聞いたことはあったが、具体的にどんな言語で何が嬉しいのか知らなかったのでちょっと調べてみた。 ついでに Datalog のインプリタとして Soufflé という処理系も触ってみた。 Datalog とは Datalog は、論理型プログラミング言語である Prolog のサブセットであり、主に演繹データベースのクエリ言語として用いられる。クエリは論理的な制約として記述され、その制約を満たすデータをデータベースから抽出する。最近では Datomic のような分散データベースのクエリ言語としても用いられている。 Datalog として標準化された言語が言語仕様があるわけではなく、処理系によって構文が異なっていたり、独自の拡張がされていたりする。たとえば、集約
PrologでNoSQLサーバを立ててみた - 未踏作業日誌――余計なもの作るよ！
クリスマスから正月にかけて実家にいたのですが，インターネットの環境が整っていなくて陸の孤島でした．あまりにも暇なので，New 3DS LLを買ってしまって，ついでに世界樹の迷宮も買ってしまって，映画見ながら猫と遊んでたり，猫と遊んでいたりしていました．楽しかったです． さて，修論もやばいのですが，暇だったのでPrologでNoSQLサーバができないかどうかやってみました． PrologなNoSQLサーバを立てる - Qiita 実際に，やってみた結果，うまく行きましたが，たぶん速度の面もそうですし，1クエリ辺りの配列の長さとか，色々と工夫しないと使い物にならないんじゃないかなぁと思いました． でも，逆に言えば，ある程度の制限を課せば，うまく動くかもしれない可能性もあるわけで，その点でPrologはすごくNoSQLとしての伸びしろがあるんじゃないかなぁ，と思うわけです． 一度，この点について
Prolog 各論Tips
assertしたりretractしたり。 SWI-Prolog や GnuPrologにおいて GnuPrologは、dynamicな節は、いつもassert,retractさせてくれる。 SWI-Prologは、abolishすると、dynamic属性が忘れ去られ、 static procedureになってしまう。 そして、二度と、assert(retract)できない。 エラーとして、 No permission to modify static_procedure が 報告される。 なので、abolishは、使用せず、retract/1,retractall/1を使用しましょう。 これは、FAQです。 ERROR: No permission to modify static_procedure Name/Arity http://gollem.science.uva.nl/twik
Prologとつき合う - Yet Another Ranha
C81 3日目東ペ06a - COMFRK VOL. 3 ( http://comfrk.info/ )の宣伝のつもりで書き始めてます。 えーと記事のタイトルは「年末年始Prolog入門モドキ by ranha」ということになっていますが、嘘ですんで…。 ネムインダ 最近、SWI-Prologでは次のようなプログラム片がtrueを返すようになりました。 p :- p. ?- p. true ; true ; true ; ...ウウーン良いですね。いや…ダメだよコレは。 ということを、ぼくの担当分で紹介しています。といっても入門記事なので全く新規性のある話をしているわけではないのですが。 ここまでが記事の紹介です。 C81 3日目東ペ06aに来てくださいね！！ この後は記事の目論みといいますかなんというか…。 所謂Prologのプログラムのセマンティクス(意味)というのをどのようにして与え
Prolog の組み込み演算子一覧が欲しい - 電脳スピーチ blog
Prolog の組み込み演算子一覧が欲しい 2015年04月12日(日)20時19分 Prolog の述語と演算子 前回「Prolog の組み込み述語一覧が欲しい」において、Prolog の各処理系が持つ組み込み述語一覧を「current_predicate/1」で取得したわけですが、よく見るとそこには「演算子」の定義が含まれていませんでした。 自分はこれまで、「Prolog の演算子は、述語の特殊表記である」と、漠然と考えていました。 つまり、例えば「足し算」であれば、まず「’+’(A,B) :- ～」のような述語定義があり、それを「op/3」によって「前置」や「中置」といった、特殊な形式で表記できるように変更しているだけだと思っていたわけです。 そして、「述語」である以上は、「current_predicate/1」で取得される述語一覧の中に、当然「演算子」も含まれると考えていたのです
Google Sites: Sign-in
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
㊣十大正规足球外围app-bsport体育娱乐官网入口
https://github.com/hsk/docs/tree/master/prolog
SWI-Prolog 3.3.9 Reference Manual: Section 3.3
埒を明ける日々
Rubyで作るProlog処理系