GitHub / logicmoo 100 Repositories
Donate: https://github.com/sponsors/logicmoo
logicmoo/metta-testsuite
Language: Prolog - Size: 618 MB - Last synced at: about 12 hours ago - Pushed at: about 13 hours ago - Stars: 2 - Forks: 5

logicmoo/metta-wam Fork of trueagi-io/metta-wam
A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
Language: Prolog - Size: 43.4 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 1

logicmoo/ARC2024_Kaggle
Language: Prolog - Size: 4.28 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 4 - Forks: 0

logicmoo/chaining Fork of trueagi-io/chaining
MeTTa module containing various flavors of backward and forward chaining, as well as converters between these flavors.
Language: Python - Size: 299 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

logicmoo/logicmoo_utils
Shared predicates between LOGICMOO projects
Language: Prolog - Size: 2.4 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0

logicmoo/logicmoo_workspace
https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
Size: 1.88 GB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 43 - Forks: 8

logicmoo/webODE Fork of whitten/webODE
WebODE is an extensible ontology-engineering suite based on an application server, whose development started in 1999 and whose support was discontinued in 2006.
Language: Java - Size: 1.08 MB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0

logicmoo/ure Fork of opencog/ure
Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.
Size: 113 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

logicmoo/xlisting_web
Manipulate and browse logic over www
Language: Prolog - Size: 158 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

logicmoo/with_thread_local
Call a Goal with local assertions
Language: Prolog - Size: 14.6 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

logicmoo/xwiki
Logicmoo XWiki Storage
Size: 0 Bytes - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

logicmoo/xlisting
Provides Cross Referenced Listing and Source Variables at Console
Language: Prolog - Size: 50.8 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

logicmoo/with_open_options
Utilities to open various objects for read/write
Language: Prolog - Size: 25.4 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

logicmoo/www.logicmoo.org
Logicmoo Website
Size: 79.2 MB - Last synced at: about 1 year ago - Pushed at: over 10 years ago - Stars: 2 - Forks: 0

logicmoo/test_programs_wam_common_lisp Fork of own-pt/cl-krr
WAM-CL specific Code for Environment for knowledge representation, reasoning, and engineering.
Language: Common Lisp - Size: 58.7 MB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0

logicmoo/theia-binder Fork of betatim/theia-binder
Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

logicmoo/theia Fork of eclipse-theia/theia
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
Size: 124 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

logicmoo/swipl-devel Fork of SWI-Prolog/swipl-devel
Main development repository
Language: C - Size: 90.3 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

logicmoo/scryer-prolog Fork of triska/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Size: 5.89 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

logicmoo/MUD_WebTHEA Fork of vangelisv/thea
OWL2 library for Prolog
Language: Prolog - Size: 21.9 MB - Last synced at: about 1 year ago - Pushed at: over 10 years ago - Stars: 2 - Forks: 0

logicmoo/tabling_dra
Port to SWI-Prolog's C @ https://github.com/logicmoo/swipl-devel/ for the "dra" memoizing interpreter
Language: Prolog - Size: 7.58 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1

logicmoo/planner-api Fork of aindilis/planner-api
FLP Prolog <-> PDDL Planning Library
Language: Prolog - Size: 68.4 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

logicmoo/slack_prolog Fork of swi-to-yap/slack_prolog
Prolog Slack Client
Language: Prolog - Size: 396 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

logicmoo/s_expression
Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF
Language: Prolog - Size: 318 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 1

logicmoo/tauchain_prolog
Tau Meta Language (TML) Inptereter coded in Prolog
Language: Prolog - Size: 486 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

logicmoo/swish Fork of friguzzi/swish
SWI-Prolog for SHaring: a SWI-Prolog web IDE (Friguzzi also less changes to Main)
Language: Prolog - Size: 78.7 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

logicmoo/QuProlog Fork of DouglasRMiles/QuProlog
Size: 2.23 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

logicmoo/tuProlog
SxxMachine hack of https://bitbucket.org/tuprologteam/tuProlog.git
Language: HTML - Size: 246 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

logicmoo/subclause_expansion
More detailed versions of term/goal expansion hooks
Language: Prolog - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

logicmoo/MUD_Interpretors Fork of zick/ImplOfR6RSAppA
A Lisp interpreter based on the formal semantics of R6RS Scheme in Prolog
Language: Prolog - Size: 146 KB - Last synced at: about 1 year ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0

logicmoo/pdkb-planning Fork of QuMuLab/pdkb-planning
Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with Proper Doxastic Knowledge Bases (PDKBs).
Size: 6.61 MB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

logicmoo/programk-unity3d
Unity3D GaitoEditor for DialogManagement and Training
Language: Smalltalk - Size: 23.8 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

logicmoo/no_repeats
New ways to avoid duplicate solutions
Language: Prolog - Size: 12.7 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

logicmoo/multimodal_dcg
Reduce floundering of DCGs by constraining and narrowing search
Language: Prolog - Size: 12.7 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 1

logicmoo/MUD_KnowRob
KnowRob Extensions that May be too experimental to be putting in knowrob_addons
Language: JavaScript - Size: 1.54 MB - Last synced at: about 1 year ago - Pushed at: over 10 years ago - Stars: 2 - Forks: 0

logicmoo/pakcs_lib
Curry-Typeclass support from inside Prolog based on PAKCS
Language: Prolog - Size: 2.32 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

logicmoo/MUD_DB_LeanCOR Fork of adrianomelo/leancor
A description logic reasoner written in prolog based on leanCoP, a theorem prover for first-order logic
Language: Prolog - Size: 565 KB - Last synced at: about 1 year ago - Pushed at: over 10 years ago - Stars: 2 - Forks: 0

logicmoo/phil Fork of ArnaudFadja/phil
PHIL is a parameter learning algorithm that learns the parameters of Hierarchical Probabilistic Logic Programs applying gradient descent and Expectation Maximization
Language: Prolog - Size: 3 MB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

logicmoo/NomicMU
NLU/NLG based Nomic MU for world-building
Language: Stata - Size: 79.1 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0

logicmoo/ors Fork of rekkun6/ors
Ontology Repair System
Language: Prolog - Size: 7.06 MB - Last synced at: about 1 year ago - Pushed at: over 12 years ago - Stars: 2 - Forks: 0

logicmoo/pfc Fork of finin/pfc
Pfc: adding forward chaining and truth maintenance to Prolog
Language: Prolog - Size: 7.42 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 0

logicmoo/eggdrop
Allows prolog code to use an existing IRC Client called Eggdrop
Language: Prolog - Size: 408 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

logicmoo/knowrob Fork of knowrob/knowrob
MERGE of KnowRob core packages and general issue tracker for the KnowRob knowledge base
Language: Prolog - Size: 86.2 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

logicmoo/lisp5000 Fork of jackpal/lisp5000
Prolog Port of A small dialect of Common Lisp based upon lisp500
Language: Common Lisp - Size: 139 KB - Last synced at: about 1 year ago - Pushed at: about 10 years ago - Stars: 1 - Forks: 0

logicmoo/iai_maps Fork of code-iai/iai_maps
The semantic and ground lab and environment maps for projects in the IAI group in the University of Bremen
Language: Prolog - Size: 28.3 MB - Last synced at: about 1 year ago - Pushed at: over 10 years ago - Stars: 2 - Forks: 0

logicmoo/logicmoo_nars
NAL Processor for Prolog
Language: Prolog - Size: 29.2 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0

logicmoo/programk
Chatbot impls in Prolog
Language: Prolog - Size: 28.8 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 13 - Forks: 4

logicmoo/logicmoo_webui
Language: Prolog - Size: 24.1 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

logicmoo/logicmoo_pldata
Large PLData/Language Files used by LogicMOO
Language: Perl - Size: 18.6 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

logicmoo/hyperon-experimental Fork of trueagi-io/hyperon-experimental
OpenCog Hyperon experimental version
Language: Rust - Size: 2.96 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

logicmoo/knowrob_addons Fork of hatguy/knowrob_addons
Packages outside of the core KnowRob stack that are e.g. too large to include them into the standard distribution
Language: Java - Size: 18.2 MB - Last synced at: about 1 year ago - Pushed at: over 10 years ago - Stars: 2 - Forks: 0

logicmoo/loop_check
A new simple loop_check
Language: Prolog - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

logicmoo/ARC_study Fork of dereklarson/ARC_study
The Abstraction and Reasoning Corpus
Language: Python - Size: 1.26 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

logicmoo/cliopatria_swish Fork of ClioPatria/swish
Add Prolog interaction to ClioPatria
Language: Prolog - Size: 12.4 MB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

logicmoo/babel-core Fork of martinodb/babel-core
upstream: https://gitlab.ai.vub.ac.be/ehai/babel-core
Size: 30.5 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

logicmoo/elFinder Fork of Studio-42/elFinder
📁 Open-source file manager for web, written in JavaScript using jQuery and jQuery UI
Language: JavaScript - Size: 37.2 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

logicmoo/must_trace
Trace with your eyeballs instead of your fingers
Language: Prolog - Size: 280 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

logicmoo/logicmoo-gatsby
Gatsby starter for a Contentful project from the community.
Language: JavaScript - Size: 713 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

logicmoo/ilm Fork of annypan/ilm
Easily fine tune GPT-2 to fill in missing text
Language: Python - Size: 1.09 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

logicmoo/ClioPatria Fork of ClioPatria/ClioPatria
ClioPatria provides an RDF application platform
Language: Prolog - Size: 2.74 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

logicmoo/logicmoo_lps
Fork of https://bitbucket.org/lpsmasters/lps_corner/
Language: OpenEdge ABL - Size: 10.6 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

logicmoo/hMUD Fork of blueoctopus/hMUD
Browser Telnet MUD client (HTML + Javascript + Flash)
Language: JavaScript - Size: 205 KB - Last synced at: about 1 year ago - Pushed at: almost 10 years ago - Stars: 3 - Forks: 0

logicmoo/lib_atts
Common atts.pl interface like https://sicstus.sics.se/sicstus/docs/4.0.0/html/sicstus/lib_002datts.html
Language: Prolog - Size: 7.81 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

logicmoo/Alpino Fork of rug-compling/Alpino
Alpino parser and related tools for Dutch
Language: Prolog - Size: 652 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

logicmoo/each_call_cleanup
Adds non-deterministic "each" to setup_call_cleaup and friends
Language: Prolog - Size: 18.6 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

logicmoo/hook_hybrid
Hook assert retract call of specific predicates
Language: Prolog - Size: 111 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

logicmoo/abcl Fork of armedbear/abcl
Language: Common Lisp - Size: 63.2 MB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

logicmoo/file_scope
File local scoped side efects
Language: Prolog - Size: 14.6 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

logicmoo/flux
FLUX: A logic programming method for reasoning agents
Language: Prolog - Size: 1.17 MB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 1

logicmoo/atomspace Fork of opencog/atomspace
The OpenCog (hyper-)graph database and graph rewriting system
Size: 158 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

logicmoo/dictoo
Dict-like OO Syntax Pack
Language: Prolog - Size: 127 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

logicmoo/decreasoner
Language: E - Size: 2.98 MB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

logicmoo/cpack-prologmud
ClioPatria CPACK that controls PrologMUD
Language: Prolog - Size: 17.6 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

logicmoo/CYC_JRTL_with_CommonLisp
Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
Language: Java - Size: 698 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 15 - Forks: 1

logicmoo/prologmud
MUD Server written in Prolog using Forward chaining
Language: Prolog - Size: 418 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 29 - Forks: 5

logicmoo/prologmud_I7
Small adventure Games Gleaned off the Web such as "Marty's Prolog Adventure Prototype"
Language: Prolog - Size: 48.6 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

logicmoo/metta-src-conversions
Many Decades of AI Algorithms translated (src-to-src) into the Hyperon MeTTa Language
Language: Prolog - Size: 2.16 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

logicmoo/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.
Language: Common Lisp - Size: 50.5 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 96 - Forks: 8

logicmoo/vspace-metta
Version Space Candidate Elimination inside of MeTTa
Language: HTML - Size: 67.7 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 3

logicmoo/metta-nars Fork of patham9/metta-nars
ONA-style NARS implementation in MeTTa
Language: Shell - Size: 65.4 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

logicmoo/logicmoo_ec
A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
Language: Prolog - Size: 30.2 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 15 - Forks: 0

logicmoo/pyswip Fork of DestyNova/pyswip
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
Language: Python - Size: 363 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

logicmoo/narchy Fork of muthhus/narchy
(áxíőmáťíć) + Ńőń-Áxíőmáťíć Ŕéáśőńéŕ - USE AT YOUR OWN RISK
Language: Java - Size: 91.1 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

logicmoo/das Fork of singnet/das-poc
Distributed Atomspace.
Language: Python - Size: 183 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

logicmoo/logicmoo_cg
Conceptual Graph (CG) Libraries in Prolog
Language: Prolog - Size: 3.46 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 1

logicmoo/clause_attvars
An alternate interface to the clause database to allow attributed variables to be asserted
Language: Prolog - Size: 22.5 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

logicmoo/body_reordering
Pack for clause expansions for deciding which order to run Goals in a body
Language: Prolog - Size: 22.5 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

logicmoo/logicmoo_nlu
LogicMOO Natural Language Understanding Kit Unified into Prolog
Language: Common Lisp - Size: 386 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 13 - Forks: 2

logicmoo/sigma_ace
Attempto Controlled English - Restricted English to logic translation
Language: Prolog - Size: 37 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0

logicmoo/DLog
DLog Reasoner Import and continuance in Prolog
Language: Prolog - Size: 20.9 MB - Last synced at: about 1 year ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 0

logicmoo/instant_prolog_docs
Magically document prolog source files based on predicate and variable naming conventions
Language: Prolog - Size: 37.1 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1

logicmoo/predicate_streams
Implement your own prolog streams with predicate sources and sinks
Language: Prolog - Size: 49.8 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

logicmoo/logicmoo_clif
Base Forward Chaining Knowledge Base Maintenance System
Language: Prolog - Size: 27.1 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 17 - Forks: 1

logicmoo/logicmoo_workspace_w_remotes
Language: Prolog - Size: 1.48 GB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

logicmoo/Logicmoo_docker
Docker Master Container that starts the rest of the Logicmoo services (see https://hub.docker.com/repository/docker/logicmoo/logicmoo_starter_image )
Language: JavaScript - Size: 2.86 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

logicmoo/prologmud_samples
Online text adventure game - Samples and testing pack for prologmud
Language: Prolog - Size: 6.71 MB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

logicmoo/gvar_syntax
SWI-Prolog Pack that Allows new Global Variable Syntax to Prolog
Language: Prolog - Size: 55.7 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

logicmoo/cyc-mode Fork of whitten/cyc-mode
Emacs *CYC major mode for interaction.
Language: Emacs Lisp - Size: 2.57 MB - Last synced at: about 1 year ago - Pushed at: almost 11 years ago - Stars: 1 - Forks: 0

logicmoo/hilog
Allow Hilog Syntax in SWI-Prolog
Language: Prolog - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

logicmoo/virtstoryteller
The Virtual Storyteller beta Brought to you by: evaugh (Ivo Swartjes) of https://sourceforge.net/projects/virtstoryteller/
Language: Web Ontology Language - Size: 20.2 MB - Last synced at: about 1 year ago - Pushed at: about 9 years ago - Stars: 2 - Forks: 0
