Simple Project List Software Map

38 projects in result set
Última actualización: 2012-05-29 00:52


Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, it includes support for both prototypes and classes, protocols (interfaces), component-based programming through category-based composition, event-driven programming, and high-level multi-threading programming.

Última actualización: 2004-09-19 16:33


GPP is a general-purpose preprocessor with customizable syntax, suitable for a wide range of preprocessing tasks. Its independence from any programming language makes it much more versatile than cpp, while its syntax is lighter and more flexible than that of m4. The syntax is fully customizable, which makes it possible to process text files, HTML, or source code equally efficiently in a variety of languages.

(Machine Translation)
Última actualización: 2013-05-15 20:39

GNU Prolog

GNU Prologはフリーで実装(GPLのもとで)された論理型プログラミング言語Prologです。これは非常に高速に実行されるネイティブコードにコンパイルすることができます。もう1つの特徴は、含まれている制約ソルバです。

Última actualización: 2001-01-30 06:12

Ciao Prolog

Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.

Última actualización: 2005-04-24 13:49


SHORE (Semantic Hypertext Object Repository) is a
hypertext repository that stores data about
documents and data described by documents. Access
to this information is provided as hypertext. The
repository stores objects that appear in
documents, together with their relations in a
semantic net. Hypertext navigation follows these
relations in the semantic net. The SHORE server
works as an HTTP server, and the client is a
standard Web browser. The repository uses PROLOG
as its query language and the XSB system as its
query engine.

(Machine Translation)
Última actualización: 2003-12-18 14:35


DELORES (DEfeasible LOgic REasoning System) is a forward-chaining reasoning engine for defeasible logic, a less-expressive but more efficient non-monotonic logic. In contrast with most other non-monotonic logics, defeasible logic has linear complexity, allowing DELORES to execute large theories very quickly. DELORES's algorithm extends to general defeasible theories through the use of a pre-processing transformation which eliminates all uses of defeaters and superiority relations.

Última actualización: 2006-08-29 05:34


TCLP is a type checker for Prolog dialects. It is written in SICStus Prolog. Its goal is to statically trap programming errors like illegal arguments used in a call for a predicate or illegally built data structures with respect to a given typing for function symbols or predicates. TCLP is also capable of type inference for user predicates. Supported dialects include ISO-Prolog, GNU-Prolog, and SICStus Prolog.

Última actualización: 2007-10-24 11:26

GEMS EMF Intelligence

GEMS EMF Intelligence is a framework designed to
help you reason about your EMF models. The
framework provides a knowledge base that you can
assert EMF modeling elements into. Once modeling
elements are asserted into the knowledge base, you
can add constraints to relationships between model
elements. Finally, you can use GEMS EMF
Intelligence to derive valid endpoints (other
objects in the knowledge base) for relationships
(such as EReferences) of a modeling element. GEMS
EMF Intelligence supports constraints written in
OCL, Prolog, Groovy, and BeanShell. Multiple
constraint languages can be mixed in a single
knowledge base.

(Machine Translation)
Última actualización: 2004-08-18 11:12


Rulz.NET is an extension to C#. It brings the benefits of rules-based programming to a (potentially) much wider audience, VB and C# programmers, not just people with academic/Prolog backgrounds. It works by adding several new keywords, such as "rclass".

Última actualización: 2006-04-21 16:30


YProlog is a pocket Prolog engine written in 100%
Java. It provides a number of fast and easy
Java-Prolog interfacing functions that enables the
Prolog database to be used like an SQL-type
database. It has fast consult and retract
operations, can "serialize" database contents into
text, and can easily load and store tables or
contents of Java objects. It is based on Jean
Vaucher's XProlog.

(Machine Translation)
Última actualización: 2006-06-02 13:41

Prolog Statistical Machine Translation

Prolog Statistical Machine Translation is a fairly unsophisticated statistical machine translation program. It consists of a language model learner (which takes example sentences in the target language and learns a language model based on trigrams), a dictionary learner (which learns word-for-word translations), and a search program (which uses the data from the first two parts to translate a source sentence into the target language).

Última actualización: 2002-05-24 14:53

The Objex Project

The Objex Project (like the GNU Project) aims to
develop a complete operating system composed of
free and open source software. In contrast to the
GNU Project, it aims to build a modern system that
brings together all the recent advances in
computer science, instead of a Unix-like system. "A
complete system" means that it will include the
kernel, a full suite of developers tools, user utilities,
and a graphical user interface. It is based on OSKit,
a framework and a set of utilities, drivers, and
program code intended for operating system

(Machine Translation)
Última actualización: 2007-07-13 16:06

Planner for Efficient Dialogues

PED is a dialogue management system that uses a
probabilistic nested belief model to choose
dialogue strategies. The dialogue system designer
need only supply a set of plan rules to PED as a
dialogue grammar with preconditions. Using this
grammar, PED constructs game trees (like the one
below) to represent the outcomes of the dialogue,
so that a dialogue strategy can be chosen for the
current turn in the dialogue. PED automatically
maintains a belief model by a belief revision
process that uses the observed acts in the
dialogue. The game tree is evaluated in the
context of this belief model. PED is efficient
because it uses probabilistic estimates of belief
rather than a plain logical belief model.

(Machine Translation)
Última actualización: 2004-01-05 01:11

Caves of Golorp

Caves of Golorp is a Rogue-like game, written in Prolog. It features a sophisticated level generator, smart monsters, and a unique magic system.

Última actualización: 2004-06-17 22:09


SemWalker is a server-side Semantic Web browser
with an integrated search engine. It offers a
friendly Web interface to the RDFs found around
the Web, and is used to power W3C's Ontaria service.

(Machine Translation)