An open API service providing repository metadata for many open source software ecosystems.

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