Explanation of (a small portion of) Abella proof assistant in Japanese.Read less
Explanation of (a small portion of) Abella proof assistant in Japanese.Read less
clojure.core.logicというClojureをProlog化するライブラリがある。 Prologとは、論理型プログラミング言語。 下記のサイトで詳しい説明をしている方がいらっしゃるので、論理型言語についての説明は省略。 http://www.geocities.jp/m_hiroi/prolog/ このPrologのようなことが、論理型言語ではなく関数型言語のClojureで、ライブラリ clojure.core.logic をロードするだけでできてしまう。 https://github.com/clojure/core.logic The Reasoned Schemer という本は、Schemeで論理型プログラミングを実現する内容だが、 clojure.core.logic はこの本の内容をClojureに移植したもの。 The Reasoned Schemer 作者: D
このチュートリアルは、プログラミング言語 Oz とMozart プログラミングシステムへの導入のためのものです。Oz は、先進、並行(concurrent)、ネットワーク、ソフトリアルタイム(soft real-time)、そしてリアクティブアプリケーション(reactive application)のためにデザインされたマルチパラダイム言語(multi-paradigm language)です。Oz はオブジェクト指向プログラミング(object-oriented programming)の顕著な特徴である、状態(state)、抽象データ型(abstract data type)、オブジェクト(object)、クラス(class)、そして継承(inheritance)を提供します。また関数型プログラミング(functional programming)の顕著な特徴である、合成構文(com
Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model. This difference yields significantly different behavior and properties from Prolog. It is often used as a query language for deductive databases. Datalog has been applied to problems in data integration, networking, program ana
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く