Logicmμ (@logicmoo)
  • Stars
    star
    377
  • Global Org. Rank 28,330 (Top 10 %)
  • Registered over 10 years ago
  • Most used languages
    Prolog
    76.6 %
    HTML
    4.3 %
    JavaScript
    4.3 %
    Common Lisp
    4.3 %
    Smalltalk
    2.1 %
    Web Ontology Language
    2.1 %
    OpenEdge ABL
    2.1 %
    Java
    2.1 %
    Stata
    2.1 %

Top repositories

1

wam_common_lisp

Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
Common Lisp
95
star
2

logicmoo_workspace

https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
44
star
3

prologmud

MUD Server written in Prolog using Forward chaining
Prolog
26
star
4

logicmoo_clif

Base Forward Chaining Knowledge Base Maintenance System
Prolog
17
star
5

programk

Chatbot impls in Prolog
Prolog
14
star
6

logicmoo_ec

A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
Prolog
13
star
7

CYC_JRTL_with_CommonLisp

Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
Java
13
star
8

logicmoo_nlu

LogicMOO Natural Language Understanding Kit Unified into Prolog
Common Lisp
11
star
9

sigma_ace

Attempto Controlled English - Restricted English to logic translation
Prolog
7
star
10

tauchain_prolog

Tau Meta Language (TML) Inptereter coded in Prolog
Prolog
6
star
11

logicmoo_cg

Conceptual Graph (CG) Libraries in Prolog
Prolog
5
star
12

s_expression

Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF
Prolog
5
star
13

logicmoo_utils

Shared predicates between LOGICMOO projects
Prolog
5
star
14

dictoo

Dict-like OO Syntax Pack
Prolog
5
star
15

logicmoo_nars

NAL Processor for Prolog
Prolog
4
star
16

predicate_streams

Implement your own prolog streams with predicate sources and sinks
Prolog
4
star
17

Logicmoo_docker

Docker Master Container that starts the rest of the Logicmoo services (see https://hub.docker.com/repository/docker/logicmoo/logicmoo_starter_image )
JavaScript
4
star
18

flux

FLUX: A logic programming method for reasoning agents
Prolog
4
star
19

must_trace

Trace with your eyeballs instead of your fingers
Prolog
4
star
20

multimodal_dcg

Reduce floundering of DCGs by constraining and narrowing search
Prolog
4
star
21

instant_prolog_docs

Magically document prolog source files based on predicate and variable naming conventions
Prolog
3
star
22

prologmud_samples

Online text adventure game - Samples and testing pack for prologmud
Prolog
3
star
23

eggdrop

Allows prolog code to use an existing IRC Client called Eggdrop
Prolog
3
star
24

prologmud_I7

Small adventure Games Gleaned off the Web such as "Marty's Prolog Adventure Prototype"
Prolog
3
star
25

logicmoo_lps

Fork of https://bitbucket.org/lpsmasters/lps_corner/
OpenEdge ABL
2
star
26

www.logicmoo.org

Logicmoo Website
2
star
27

pakcs_lib

Curry-Typeclass support from inside Prolog based on PAKCS
Prolog
2
star
28

MUD_KnowRob

KnowRob Extensions that May be too experimental to be putting in knowrob_addons
JavaScript
2
star
29

tuProlog

SxxMachine hack of https://bitbucket.org/tuprologteam/tuProlog.git
HTML
2
star
30

NomicMU

NLU/NLG based Nomic MU for world-building
Stata
2
star
31

tabling_dra

Port to SWI-Prolog's C @ https://github.com/logicmoo/swipl-devel/ for the "dra" memoizing interpreter
Prolog
2
star
32

no_repeats

New ways to avoid duplicate solutions
Prolog
2
star
33

gvar_syntax

SWI-Prolog Pack that Allows new Global Variable Syntax to Prolog
Prolog
2
star
34

vspace-metta

Version Space Candidate Elimination inside of MeTTa
HTML
2
star
35

virtstoryteller

The Virtual Storyteller beta Brought to you by: evaugh (Ivo Swartjes) of https://sourceforge.net/projects/virtstoryteller/
Web Ontology Language
2
star
36

hook_hybrid

Hook assert retract call of specific predicates
Prolog
1
star
37

subclause_expansion

More detailed versions of term/goal expansion hooks
Prolog
1
star
38

xlisting

Provides Cross Referenced Listing and Source Variables at Console
Prolog
1
star
39

hilog

Allow Hilog Syntax in SWI-Prolog
Prolog
1
star
40

with_thread_local

Call a Goal with local assertions
Prolog
1
star
41

clause_attvars

An alternate interface to the clause database to allow attributed variables to be asserted
Prolog
1
star
42

body_reordering

Pack for clause expansions for deciding which order to run Goals in a body
Prolog
1
star
43

DLog

DLog Reasoner Import and continuance in Prolog
Prolog
1
star
44

programk-unity3d

Unity3D GaitoEditor for DialogManagement and Training
Smalltalk
1
star
45

file_scope

File local scoped side efects
Prolog
1
star
46

xlisting_web

Manipulate and browse logic over www
Prolog
1
star
47

with_open_options

Utilities to open various objects for read/write
Prolog
1
star
48

logicmoo_webui

Prolog
1
star
49

loop_check

A new simple loop_check
Prolog
1
star