文芸的プログラミング的Prologプログラミング - Qiita
目的 Prolog ネタでなにかを書きたくなることがあるかもしれないので、そのときのために 「文芸的プログラミング」的なものを考えました。 概要 すこぶる単純かつ乱暴な話で、 Qiita で本文になっている部分をコメントで書いて、Prolog コードは普通に実行可能な形で書く、というだけのことです。 Prolog は記述順序が比較的自由なので、文章の文脈に沿ってコードを記述したものに適当なコメントを付加しただけのものでもそれらしく読めるだろうと考えました。 記述順序に強く依存する言語、例えば C++ とかだとそんなに単純にはいかないと思います。 変換プログラムは sed や awk で書ける程度の内容なのですが、練習として敢えて Prolog でテキストファイルを変換するプログラムを書いてみます。 実装 全体の流れは 1. 与えられたファイルをストリームとしてオープンする 2. ストリーム
GitHub - logicmoo/wam_common_lisp: Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
The resulting Translation of CommonLisp into Prolog who's non-special forms become special FEXPRs (operands are always passed unevaluated!) give us the simplest model: it has no types, no data, and no environments and yet the refection is powerful enough to make all resulting optimizations and program self-repairs trivial/obvious. (This Method works for Curry-lang, Haskell, JavaScript, C, C++, etc
fogus: The best things and stuff of 2017
Send More Paramedics λ λ λ Fogus' Thoughts on life, programming, and thinking ❤ c clj erl pl frink fth cl org pure icl qi ❤ Follow me on Twitter... or RSS... Run this blog in mobile 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 Jan 2, 2018 Great things and people that I discovered, learned, read, met, etc. in 2017. No particular
Google グループ
Google グループでは、オンライン フォーラムやメール ベースのグループを作成したり、こうしたフォーラムやグループに参加したりすることで、大勢のユーザーと情報の共有やディスカッションを行うことができます。
Prologで実装された線形論理型言語について - Qiita
この記事はProlog Advent Calendar 2016の２日目の記事です。 ほとんど、一人アドベントカレンダーになりそうなのですけど、せっかくなので全部埋めてみたいと思いつつ、Prolog関連のネタを小出しに書いていってみようと思います。 今日は、線形論理型言語について書いてみようと思います。 Rust基礎勉強会とかもあるそうなので、調べていたことをちょっと書いてみます。いろいろと調べていたことは調べていたのですけど、能力不足です。すいません。 ググると、いくつか出てきます。 Lolli これが元になって、LLPやTLLPが作られたようです。 LLP Lolliを発展させて、非決定的な要素をなくしたもののようです。 神戸大学で開発されていたようです。 TLLP LLPを更に発展させて時相な要素を追加したもののようです。 TLLP interpreter in Prolog これら
電算機センター | 産業理工学部について | 近畿大学 産業理工学部・大学院 産業理工学研究科 福岡キャンパス
近畿大学産業理工学部（福岡キャンパス） 〒820-8555 福岡県飯塚市 柏の森11-6 TEL (0948)22-5655/ FAX (0948)23-0536
Learn Prolog Now!
Chapter 1 Facts, Rules, and Queries Chapter 2 Unification and Proof Search Chapter 3 Recursion Chapter 4 Lists Chapter 5 Arithmetic Chapter 6 More Lists Chapter 7 Definite Clause Grammars Chapter 8 More Definite Clause Grammars Chapter 9 A Closer Look at Terms Chapter 10 Cuts and Negation Chapter 11 Database Manipulation and Collecting Solutions Chapter 12 Working With Files
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Hacker News YC on Twitter: "Use of Prolog for developing a new programming language (1992) [pdf] https://t.co/3j4HDQP94k (cmts https://t.co/PaMH7QGQv5)"
Public-domain Prolog library
Jocelyn Ireson-Paine
Compilers Written in Prolog
TeamSPoon - Overview
h_sakuraiさんのツイート: "https://t.co/zrk3WLBjUv TAPLをPrologで書いたものがあるのでこの辺理解してもらえると嬉しいです。… "
Book Details
WAM-CL: Common Lisp in Prolog | Svelte Hacker News
Prologよいよ - Qiita
CS 340: Lecture 16: Erlang
CiteSeerX
Hendricks Solutions Blog
SWI-Prolog packages