Prologに関するtybaltのブックマーク (34)
-
tybalt 2025/02/11
-
The Ciao Prolog system
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular. It features: constraint logic programming and, in particular, Prolog, supporting the ISO-Prolog standard, multiparadigm programming (meta-programming, higher-order, concurrency, functions, etc.) user packages for syntactic and semantic language extensions, and in
-
-
Prologで学ぶAI手法 – AZ-Prolog
「Prologで学ぶAI手法」の著者の高野真です。 本書はパソコンワールド誌に連載されたものの前半部分をまとめて啓学出版から出版したものですが、パソコンワールド誌の発行元、啓学出版が共に倒産したため、長いこと絶版となっていました。 本書のプログラムは当時のPC-9800シリーズで動作する処理系であるProlog-KABAで動作するものでしたがこのたびソフネック株式会社のAZ-Prolog上にプログラムを移植すると同時に本書の原稿を変換したものをソフネック株式会社のサーバーに掲載する運びとなりました。 同時に書籍化できなかった単一化文法HPSGを使った機械翻訳システムの連載記事も掲載いたします。 高野真はペンネームで本名は斎藤孝信です。 現在経営する会社は異分野の画像認識専業となっているため、ソフネック株式会社のサーバーに載せるのが最適であろうと判断して今回の掲載を許諾いたしました。 高野真
-
-
-
The simplicity of Prolog
Back to homepage Nowadays the most popular programming languages are Python, Javascript, Java, C++, C#, Kotlin and Ruby, and the average programmer is probably familiar with one or more of these languages. It's relatively easy to switch from one to another (barring any framework specific knowledge that may be needed), since they are all imperative (and for the most part object-oriented) languages,
-
-
-
The Dusa Programming Language
Dusa is a logic programming language designed by Rob Simmons and Chris Martens, the first implementation of finite-choice logic programming. If you’ve heard of Datalog (as implemented in systems like Soufflé), you may want to start by reading about how Dusa is datalog. If you’ve heard of answer set programming (as implemented in systems like Potassco), you may want to start by reading about how Du
-
-
-
-
Game Programming in Prolog - Part 1
Introduction As a fan of unconventional programming paradigms, I enjoy learning new programming languages which are drastically different from the typical object-oriented ones such as C#, Java, and the like. The most iconic of them are LISP (which is a powerful language for both functional programming as well as metalinguistic patterns in software development) and Prolog (which is one of the most
-
-
-
Use of Prolog for developing a new programming language (1992) | Lobsters
I am doing some learnings with Elixir right now, and this seems quite interesting from the historical perspective. Unfortunately my prolog is a little rusty. Prolog is taught as an example of a ‘logic programming’ language, but it’s really a progenitor of the automated reasoning / theorem prover space. These are great for prototyping languages because you can effectively write an operational seman
-
ProblemSets/99 Prolog Problems Solutions - Python Wiki
Problems 1-6 André Roberge has a zip file with solutions to the first six problems, in Crunchy format: First six Problem 7: Flatten a nested list structure Based on the standard library documentation: from itertools import chain def flatten(listOfLists): return list(chain(*listOfLists))The suggested solution does not work for a list like the following: a_list = [0, 1, [2, 3], 4, 5, [6, 7]]as the a
-
P-99: Ninety-Nine Prolog Problems
werner.hett@bfh.ch or werner.hett@gmail.com The purpose of this problem collection is to give you the opportunity to practice your skills in logic programming. Your goal should be to find the most elegant solution of the given problems. Efficiency is important, but logical clarity is even more crucial. Some of the (easy) problems can be trivially solved using built-in predicates. However, in these
-
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
