Repositories list

• logicmoo-project-kb

  Public
  Project Management for LOGICMOO in SubL/CycL

  1•2•0•0•Updated Nov 12, 2022Nov 12, 2022

• vscode-mode

  Public
  VSCode compatibility globalized minor mode that provides VSCode-style keybindings in Emacs.

  Emacs Lisp

  •

  GNU General Public License v3.0

  •0•6•1•0•Updated Jul 26, 2021Jul 26, 2021

• krr-prolog-tut

  Public
  An under-construction tutorial for KR&R in Prolog (Knowledge Representation and Reasoning)

  Prolog

  •

  GNU General Public License v3.0

  •53•1•0•0•Updated Nov 19, 2020Nov 19, 2020

• LarKC_CL

  Public
  Java

  •0•1•0•0•Updated Dec 31, 2018Dec 31, 2018

• MKM

  Public
  MKM seeks to formalize mathematical knowledge with CYC

  Prolog

  •1•0•0•0•Updated Nov 19, 2018Nov 19, 2018