logicmoo/logicmoo_workspace logicmoo/logicmoo_workspace

  • Stars
    star
    44
  • Rank 634,578 (Top 13 %)
  • Language
  • License
    Other
  • Created about 10 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
logicmoo/logicmoo_workspace
github

logicmoo

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/

More 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

prologmud

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

logicmoo_clif

Base Forward Chaining Knowledge Base Maintenance System
Prolog
17
star
4

programk

Chatbot impls in Prolog
Prolog
14
star
5

logicmoo_ec

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

CYC_JRTL_with_CommonLisp

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

logicmoo_nlu

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

sigma_ace

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

tauchain_prolog

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

logicmoo_cg

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

s_expression

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

logicmoo_utils

Shared predicates between LOGICMOO projects
Prolog
5
star
13

dictoo

Dict-like OO Syntax Pack
Prolog
5
star
14

logicmoo_nars

NAL Processor for Prolog
Prolog
4
star
15

predicate_streams

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

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
17

flux

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

must_trace

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

multimodal_dcg

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

instant_prolog_docs

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

prologmud_samples

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

eggdrop

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

prologmud_I7

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

logicmoo_lps

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

www.logicmoo.org

Logicmoo Website
2
star
26

pakcs_lib

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

MUD_KnowRob

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

tuProlog

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

NomicMU

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

tabling_dra

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

no_repeats

New ways to avoid duplicate solutions
Prolog
2
star
32

gvar_syntax

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

vspace-metta

Version Space Candidate Elimination inside of MeTTa
HTML
2
star
34

virtstoryteller

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

hook_hybrid

Hook assert retract call of specific predicates
Prolog
1
star
36

subclause_expansion

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

xlisting

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

hilog

Allow Hilog Syntax in SWI-Prolog
Prolog
1
star
39

with_thread_local

Call a Goal with local assertions
Prolog
1
star
40

clause_attvars

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

body_reordering

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

DLog

DLog Reasoner Import and continuance in Prolog
Prolog
1
star
43

programk-unity3d

Unity3D GaitoEditor for DialogManagement and Training
Smalltalk
1
star
44

file_scope

File local scoped side efects
Prolog
1
star
45

xlisting_web

Manipulate and browse logic over www
Prolog
1
star
46

with_open_options

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

logicmoo_webui

Prolog
1
star
48

loop_check

A new simple loop_check
Prolog
1
star