Tags : Browse Projects

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

GNU Prolog

Compare

  Analyzed 3 months 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.

323K lines of code

0 current contributors

about 2 years since last commit

9 users on Open Hub

Activity Not Available
5.0
 
I Use This
Licenses: GPL-2.0+, LGPL-3.0+

YAP Prolog

Compare

  Analyzed 9 months ago

YAP is a high-performance Prolog compiler.

1.06M lines of code

4 current contributors

about 1 year since last commit

5 users on Open Hub

Activity Not Available
5.0
 
I Use This
Licenses: No declared licenses
Tags prolog

Logtalk

Compare

  Analyzed 3 months ago

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]

183K lines of code

3 current contributors

3 months since last commit

4 users on Open Hub

Activity Not Available
0.0
 
I Use This

15puzzle-prolog

Compare

  Analyzed 11 months ago

This project is an university work for the discipline of Artificial Intelligence. It is a collection of algorithms to solve the 15 puzzle game, together with functions to compare them.

3.32K lines of code

0 current contributors

over 9 years since last commit

3 users on Open Hub

Activity Not Available
5.0
 
I Use This

XSB

Compare

  Analyzed 24 days ago

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.

228K lines of code

0 current contributors

almost 4 years since last commit

3 users on Open Hub

Inactive
5.0
 
I Use This

EulerSharp

Compare

  Analyzed 9 months ago

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.

942K lines of code

1 current contributors

9 months since last commit

2 users on Open Hub

Activity Not Available
5.0
 
I Use This
Licenses: No declared licenses

swicli

Compare

  Analyzed 24 days ago

SWI-Prolog 2-Way interface to Commmon Language Interface C# ..NET/MONO

98.6K lines of code

3 current contributors

3 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This

PrologMUD

Compare

  Analyzed 6 months ago

1) Simple MUD Server written in Prolog 2) Logical inference system identical to CyC but written in Prolog

495K lines of code

3 current contributors

7 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Licenses: No declared licenses

interprolog

Compare

  Analyzed 12 months ago

...but may come over in a while. GPL license is probably slightly different.

0 lines of code

0 current contributors

about 10 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: GPL-2.0+
Tags java prolog

logilic

Compare

  Analyzed 21 days ago

Tools to reason about software licenses

145 lines of code

0 current contributors

over 4 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This