Marelle: logic programming for devops
Configuring laptops and servers In the past, walking the uneasy borderline of academia, I used to managed compute servers for my research group. New hardware was a rare godsend, configuring it by hand was natural. At 99designs, I've been privy to the opposite approach: machines should be disposable. This requires the entire setup of a new machine to be automated. At first I amassed shell scripts o
AZ-Prolog – 論理型言語Prolog処理系
高速な処理性能制約論理の組み込み述語とパッケージソケット系の拡張組み込み述語によるネットワーク対応MPIライクなマルチプロセス並列処理機能Microsoft Win32/64 APIへの対応外部ライブラリとの接続インタフェースクロスプラットフォーム対応 (Windows、Linux、UNIX)ISO/DEC-10 Prologの仕様に準拠ワークエリアの柔軟な設定複数の実行環境 (インタプリタ、コンパイラ、CGIインタプリタ)AZ-PrologコンパイラによるC言語ソースコード生成ユーザ定義の組み込み述語マルチバッファエディタ(AzEdit)の内蔵ソースレベルデバッガの装備トップレベルでのテンプレート機能
ウソつきっ娘論理プログラミング - 小人さんの妄想
全ての問題にかわいい女の子が出てくる、「登場する人物の発言を手がかりに問題を解くタイプ」の論理パズル集。 萌え萌えウソつきッ娘論理パズルI 作者: 小野田博一出版社/メーカー: イーグルパブリシング発売日: 2009/09/25メディア: 単行本（ソフトカバー）購入: 5人 クリック: 172回この商品を含むブログ (7件) を見る * 出版社での紹介 >> http://www.tp-ep.co.jp/ep-hp/top.html 第１問目は、こんな感じです。 * 第１問目の画像イメージ >> http://www.tp-ep.co.jp/ep-hp/images/top/ronripazuru_01.jpg 【Q1】水泳大会 水泳大会で、この４人が１位から４位を獲得しました（同順位はありません）。 スタート前の予想は下のとおりで、３人が当たり、１人が外れました。 誰が何位だったのでしょ
ホント？「業務定義」だけでシステム完成：日経ビジネスオンライン
「今、困っていることは」と聞かれて、こう答える経営者はまずいない。不祥事や事故を起こした企業の経営者であれば「信用を取り戻したい」と言うかもしれないが、昔からそうだったとなると尋常ではない。 スペイン語で冒頭の回答をしたのは、ウルグアイのIT（情報技術）企業、アルテッチ社（Artech）の創業者であるブレオガン・ゴンダ（Breogan Gonda）社長である。記者になって25年、スペイン語の通訳を介した取材は初めてであったが、聞き間違えたわけではない。 “魔法”と誤解されるその製品は「GeneXus（ジェネクサス）」と言い、システム開発ツールと呼ばれる製品分野に位置付けられる。情報システムの設計・開発作業をコンピューターによって支援するものだ。 不思議なことに、情報システムの設計・開発にあたって、コンピューターはあまり利用されてこなかった。一連の設計・開発作業はすべて、システムズエンジニア
The Mercury Project: Introduction
What is Mercury? Logic programming languages have been around for more than twenty years. Despite the expected advantages of a very high level programming language based upon well developed theories of logic over conventional programming languages (such as C, C++, Pascal and Ada) they have not had significant impact on the computer industry. Mercury is a new logic/functional programming language,
高等魔術の教理と祭儀 - おがさわらなるひこのオープンソースとかプログラミングとか印刷技術とか
とてもタイトルから見るとプログラミング言語の勉強会とは思えませんが、内容は非常に深い Prolog の勉強会でございました。 ATND のアジェンダはこちら。 スライドはこちらにて公開されております。 このエントリは私がついったのハッシュタグ CoP でメモった内容を、上記アジェンダに合わせてコピペしたものを元にしておりますが、なにせ2009.12.26の勉強会でございます故記憶が抜け落ちたり間違ってたりする可能性は何卒御容赦。 そもそもこの会って？ 今年のGWにPPIMっていうPrologの勉強会（というかPrologを実装してみようって会）があって、そこで m0h1can さんが「The Craft of Prolog いいよ！」と言ってたら、「じゃあそれを元に勉強会しましょうよ！」みたいなことで始まった……らしいです。 意外や意外、精鋭7人も集まりかなり盛り上がりました。 オイラが一
Prolog な本を積んでみた - 日記
Smalltalk な本を積んでみた にインスパイヤされて Prolog な本を積んでみた (普段から積ん読ですが)． 一部 GHC や Concurrent Prolog などの Prolog 拡張言語や論理プログラミング周辺の本も混じってますがより分けるのが面倒なのでまとめて． 自分はニワカなので和書の古い本が少ない (奥の列の上半分くらい) ですが，2ch の Prolog スレには自分の数倍持ってそうな人がいます．まだまだ精進が足りないようです． 積んだ書籍へのリンクを貼るのが正当なようなので追記しました． 並びは適当にカテゴライズしてだいたい出版社ごとに表紙の色で並べたので積んだ順番とは異なります． なんか一冊数が合わないと思ったら「Concurrent Prolog: Collected Papers」は「2 vol. set」なのであった． そして一冊発掘し損ねていたことが発
Reading The Craft of Prolog
The Craft of Prologを読んでProlog的テクニックを学ぼうという集りがありました。 高等魔術の教理と祭儀 当日つかったスライドです。本を読む上で道案内になれば幸いです。 スライドを見ながら、あーだこーだらむだと話していると大体16時過ぎには終わってしまったので、後はかなり自由なトーキングセッションとなってしまい、ハイ、その辺は準備が不十分だったなーと痛感しています。ごめんなさい。 ranhaさんが、式は戻り値ほしーと言ってましたがPrologは記号処理をしたいのであって数値計算をしたいわけじゃないのでソレです。つまり、 ?- X = 1 + 1. X = 1 + 1. ?- X is 1 + 1. X = 2. :- op(500, xfy, +). :- op(500, yfx, -). C is A + B :- prim_add(A, B, C). C is A
手続き型を卒業するための言語は？ - おがさわらなるひこのオープンソースとかプログラミングとか印刷技術とか
という質問を今日飲みから飲みへの移動の最中ぽろっと聞かれました。 あたしゃ一介のプログラミング言語好きなので (マニアの域には全然達していません。変態的趣味ではあるけど) まじめに答えは期待してないと思いますが不真面目に答えます。 2009.10.31 追記：アフィリエイトやってんじゃないかと思うぐらいバカバカ本のリンク張ってみました。 そもそも なんで手続き型を卒業しなきゃいけないの？ ぶっちゃけプログラマという職業でご飯を食べていくのに、言語の潮流が手続き型でなくなる可能性は今後最低10年はないと思っていいでしょう。予想はずれたら飲み代一回ぐらいは奢ります (笑)。 ただ世界を広げるという意味では、今仕事で使っている言語とはぜんぜん違う世界に触れることは大事かもしれません。という視点で。 必須条件 変数再代入禁止。 なんでこれを禁止したいかというと、「こいつがあると手続き的にかけちゃう
Prolog を Haskell で書く。 - 言語ゲーム
Prolog インタプリタを Haskell で書きました。しばらく書いただけで満足してしまっていたのですが、このまま人知れず消えて行くのも寂しいので勉強した事を書きます。まず、参考にしたソースは前回書いた hugs98/demos/prolog/ です。このソース。大変短くて良いのですが、素人目には簡潔すぎて難しいのと、書かれたのが古いのか do 記法を全く使っていないので、そこらへんを私風にアレンジしました。ソースを http://github.com/propella/prolog/tree に置いておきます。なお、言葉の使い方とか間違ってるかもしれないので気づいた人は教えてください。 実行 実行の仕方は Prolog.hs をダウンロードして、 runghc Prolog.hsです。food(apple). のようにするとルールに追加で、?- apple(X). で問い合わせ、??
ホワット・ア・ワンダフル・ワールド ET Q&A
問い詰める会 wiki の方で質問されて （私の不勉強により） うまく答えられなかったことを，研究室の M 先輩を問い詰めて （笑） いろいろ教えていただいたので，ちょっとまとめてみます． たぶん Web 上での議論には限界があるので （また収集がつかなくなる），さらなる疑問点などは，問い詰める会などでよろしくお願いします．コメント欄などに質問をオープンな形でメモするぶんには大歓迎です （レスはあまり期待しないでください） (免責 : これは私の理解，解釈であり，間違いは全て私の責任です) # というか，問い詰める会は，理論的なことをちゃんとやってる M 先輩とかが行った方が （笑） Q. 正しさの根拠の違い 命令型 : アルゴリズムの一実装 （コーディング）．正しさの議論が困難．仕様 (what) の概念無し．how そのもの 関数型 : how を書くことには変わりないんだけど，プログ
tuProlog (2P)
tuProlog is a light-weight Prolog system featuring seamless bi-directional integration with Java and .NET. Please visit the tuProlog home site for further information. Features light-weightminimal core, library-based extension mechanismfull, bi-directional, easy-to use integration with Java and OOP languagesmulti-paradigm programming support
LISP and PROLOG
目 次 LISP - 関数プログラミング 構文 LISP インタプリタ 算術計算 述語と条件 リスト処理 シンボル 文字列と配列 構造体 課題 - 多項式のかけ算 やり残したこと 索引 PROLOG - 論理プログラミング Prolog を学ぶために必要な記号論理学 プログラムはホーン節集合 インタプリタ 基本メカニズム リスト処理 否定とカットオペレータ オペレータ 算術計算 8-クィーン 課題 -- n-Queen 問題 やり残したこと 索引 Lisp 演習問題の解答例はこちらにあります。 Prolog 演習問題の解答例はこちらにあります。 Lisp 処理系のフリーソフトとしては、Linux などの UNIX 上で動作する GNU Common Lisp が標準的です。ワークステーション室で使用している Common List も この GNU Common Lisp です。 ただ、日
SWI-Prolog's home
HOME DOWNLOAD SWI-Prolog Sources/building Docker images Add-ons Browse GIT DOCUMENTATION Manual Packages FAQ Command line PlDoc Bluffers▶ Prolog syntax PceEmacs HTML generation License Publications Rev 7 Extensions TUTORIALS Beginner▶ Getting started Learn Prolog Now! Simply Logical Debugger Development tools Advanced▶ Modules Grammars (DCGs) clp(fd) Printing messages PlDoc Web applications▶ Web a
Erlang, Oz/Mozart, Prolog, 単一化: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 標題: Erlang, Oz/Mozart, Prolog, 単一化 --- Erlangのこと、あれこれやってたから、弾さんのコメントがあった。 http://blog.livedoor.jp/dankogai/archives/50832431.html そろそろerlangについて一言いっとくか で、 --- ここから --- 変数束縛が Variable = Value. なのに、関数定義が function(Aargument) -> blah, blah, blah. てのはどうよ? --- ここまで
Trending Business News Articles -
Skip to content Table of Contents What is rehab for couples? How long does rehab for couples typically last? How effective is rehab for couples compared to… Exploring the Latest Trends in Best plumber Chula Vista Table of Contents Introduction Emerging Technologies in Plumbing Sustainability and Eco-Friendly Practices Shift Towards Preventative… Understanding the Significance of Funeral Flowers an
Prolog index
たけおかの Prologページ 目次 Prologを使ってみる (動作確認 程度のProlog入門) Prologの入門文書に飽きた人に WAM; Warrenの抽象マシンの論文の和訳 GnuEmacsと、Prologを一緒に使うと便利! (新しい prolog.el用) GnuEmacsと、Prologを一緒に使うと便利! (古い prolog.el用) 実際にProlog処理系を使ったときの、あれこれ Prologで記述した、StarTrek(1976年頃流行した古いゲーム) イスカンダルのトーフ屋ゲーム(1978年に発表された、古いゲーム)をPrologで記述した SB-Prologを使う 時相論理言語 Temporal Prolog の一実現について Temporal Prolog(たけおか版)マニュアル Temporal Prolog ソース Temporal Prolog サン
Life with Cygwin
沖ソフトウェア株式会社は、沖通信システム株式会社および株式会社沖インフォテックと平成22年10月1日をもって合併いたしました。新会社名は、株式会社OKIソフトウェアとなります。3社が行っております事業は新会社にて従来通り継続いたします。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
サービス終了のお知らせ
http://www.fujita.soft.iwate-pu.ac.jp/prof_dir/kure/Lecture/Prolog/