Yield Prolog
Yield Prolog lets you embed Prolog programs directly in Python, C# [1] or Javascript [2] by using the yield keyword. For example, here is the classic "uncle" predicate in Prolog: uncle(Person, Uncle) :- parent(Person, Parent), brother(Parent, Uncle). (This says that a person has an uncle if the person has a parent and that parent has a brother.) And here it is from the Yield Prolog compiler:
Prolog を Haskell で書く。 - 言語ゲーム
Prolog インタプリタを Haskell で書きました。しばらく書いただけで満足してしまっていたのですが、このまま人知れず消えて行くのも寂しいので勉強した事を書きます。まず、参考にしたソースは前回書いた hugs98/demos/prolog/ です。このソース。大変短くて良いのですが、素人目には簡潔すぎて難しいのと、書かれたのが古いのか do 記法を全く使っていないので、そこらへんを私風にアレンジしました。ソースを http://github.com/propella/prolog/tree に置いておきます。なお、言葉の使い方とか間違ってるかもしれないので気づいた人は教えてください。 実行 実行の仕方は Prolog.hs をダウンロードして、 runghc Prolog.hsです。food(apple). のようにするとルールに追加で、?- apple(X). で問い合わせ、??
Home Page of Markus Triska
Publications Peer-reviewed articles Declarative language extensions for Prolog courses Ulrich Neumerkel, Markus Triska, and Jan Wielemaker FDPE 2008 (accepted, to appear) Solving the Social Golfer Problem with a GRASP Markus Triska and Nysret Musliu PATAT 2008 (accepted, to appear) An Improved SAT Formulation for the Social Golfer Problem Markus Triska and Nysret Musliu PATAT 2008 (accepted, to ap
A declarative logic programming system
A declarative applicative logic programming system KANREN is a declarative logic programming system with first-class relations, embedded in a pure functional subset of Scheme. The system has a set-theoretical semantics, true unions, fair scheduling, first-class relations, lexically-scoped logical variables, depth-first and iterative deepening strategies. The system achieves high performance and ex
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
mindblowing_Python_GIL
Prolog on Goyo
サービス終了のお知らせ
