PrologNexus
Popular repositories Loading
-
tau-prolog
tau-prolog PublicForked from tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
JavaScript 1
-
awesome-prolog
awesome-prolog PublicForked from klaudiosinani/awesome-prolog
Curated list of Prolog packages and resources
-
-
ciao
ciao PublicForked from ciao-lang/ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Prolog 1
-
prolog_library_collection
prolog_library_collection PublicForked from wouterbeek/prolog_library_collection
A collection of Prolog libraries.
Prolog 1
-
wam
wam PublicForked from acharal/wam
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
Haskell 1
Repositories
- trealla Public Forked from trealla-prolog/trealla
A compact, efficient Prolog interpreter written in plain-old C.
- l4-lp Public Forked from smucclaw/l4-lp
Fully in-browser IDE and rule engine for L4 (a DSL for business rules), along with various language binding libraries
- constrained.pl Public Forked from bakaq/constrained.pl
Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.
- oPIEC Public Forked from Periklismant/oPIEC
oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
- simply-logical Public Forked from simply-logical/simply-logical
Online, interactive edition of the "Simply Logical" Prolog textbook
- data-logic Public Forked from arcadio/data-logic
Expert system with deductive querying and verification of constraints expressed in natural language
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…