Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

GNU Prolog

Compare

Claimed by GNU Analyzed 2 days ago

GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.

511K lines of code

1 current contributors

9 months since last commit

10 users on Open Hub

Very Low Activity
5.0
 
I Use This
Licenses: gpl, lgpv3_or_...

YAP Prolog

Compare

  No analysis available

YAP is a high-performance Prolog compiler.

0 lines of code

0 current contributors

0 since last commit

6 users on Open Hub

Activity Not Available
5.0
 
I Use This
Mostly written in language not available
Licenses: No declared licenses
Tags prolog

Logtalk

Compare

  No analysis available

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 ... [More] , event-driven programming, and high-level multi-threading programming. [Less]

0 lines of code

1 current contributors

0 since last commit

4 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: apache_2

XSB

Compare

  No analysis available

XSB is a Logic Programming and Deductive Database system for Unix and Windows. It is being developed at a number of institutions, including the Computer Science Department of Stony Brook University, Universidade Nova de Lisboa, XSB, Inc, Katholieke Universiteit Leuven, and Uppsala Universitet.

0 lines of code

0 current contributors

0 since last commit

3 users on Open Hub

Activity Not Available
5.0
 
I Use This
Mostly written in language not available
Licenses: gpl

EulerSharp

Compare

  No analysis available

Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection. It has implementations in Java, C#, Python, Javascript and Prolog. Via N3 it is interoperable with W3C Cwm.

0 lines of code

0 current contributors

0 since last commit

2 users on Open Hub

Activity Not Available
5.0
 
I Use This
Mostly written in language not available
Licenses: No declared licenses

GNU Prolog for Java

Compare

  Analyzed about 14 hours ago

The implementation of ISO Prolog standard as Java library.

18K lines of code

0 current contributors

over 23 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

LogicMOO Simulated World

Compare

  No analysis available

Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.

0 lines of code

0 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: No declared licenses

ConceptBase.cc

Compare

  Analyzed 1 day ago

ConceptBase is a multi-user deductive and object-oriented database system for metamodeling and method engineering. The system includes a graphical client that builds upon the logic-based features of the ConceptBase server. The data model is O-Telos.

403K lines of code

1 current contributors

28 days since last commit

1 users on Open Hub

Very Low Activity
5.0
 
I Use This

Tsukurimashou

Compare

  No analysis available

Font meta-family, multiple styles, for Japanese, English, and Korean, made with Metafont. Full coverage of hiragana, katakana, hangul, and Latin. Partial coverage of grade-school kanji. Also includes IDSgrep, a tool for querying kanji databases by partial layout, like a more advanced version of the ... [More] popular "radical search." Includes code to generate dictionaries from Tsukurimashou, KanjiVG, and EDICT2. 作りましょうは、Metafontで作った日本語と英語と韓国語のフォントファミリ。カバレッジはぜんぶのひらがなとカタカナとハングルとLatin。第2年の教育漢字と半の第3年の教育漢字。予定は、ぜんぶの常用漢字です。明朝、ゴシック、外のスタイル。その上、IDSgrepあります。漢字の探すツール。『作りましょう』や『KanjiVG』や『EDICT2』から辞典の抽出ができます。 [Less]

0 lines of code

1 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: gpl3_or_l...

logilic

Compare

  Analyzed 1 day ago

Tools to reason about software licenses

196 lines of code

0 current contributors

over 11 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This