• Stars
    star
    2
  • Language
    Prolog
  • License
    BSD 2-Clause "Sim...
  • Created almost 8 years ago
  • Updated about 4 years ago

Reviews

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

Repository Details

SWI-Prolog Pack that Allows new Global Variable Syntax to Prolog

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

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

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