Select a tag to browse associated projects and drill deeper into the tag cloud.
GNU Prolog
Claimed by GNU Analyzed about 22 hours 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.
Licenses:
gpl, lgpv3_or_...
YAP Prolog
Y
No analysis available
YAP is a high-performance Prolog compiler.
Mostly written in language not available
Licenses:
No declared licenses
Logtalk
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
Mostly written in language not available
Licenses:
apache_2
XSB
X
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.
Mostly written in language not available
Licenses:
gpl
EulerSharp
E
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.
Mostly written in language not available
Licenses:
No declared licenses
GNU Prolog for Java
Analyzed about 18 hours ago
The implementation of ISO Prolog standard as Java library.
LogicMOO Simulated World
L
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.
Mostly written in language not available
Licenses:
No declared licenses
ConceptBase.cc
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.
Licenses:
CB_FreeBS...
Tsukurimashou
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
Mostly written in language not available
Licenses:
gpl3_or_l...