About
Genifer
: The AGI / General Inference Engine (
Mailing-list
)
Blog Archive
►
2016
(1)
►
February
(1)
►
2015
(5)
►
May
(1)
►
April
(2)
►
March
(2)
►
2014
(8)
►
December
(3)
►
November
(2)
►
June
(1)
►
May
(1)
►
February
(1)
►
2013
(3)
►
May
(1)
►
January
(2)
►
2012
(10)
►
December
(1)
►
November
(5)
►
October
(2)
►
February
(2)
►
2011
(3)
►
July
(1)
►
June
(1)
►
May
(1)
▼
2010
(36)
►
September
(3)
►
August
(8)
▼
July
(18)
Current Design
Rule Combination
Causality
GOLOG
planning paradigms
Thoughts on Goals
Feature Matrix
Eliminating my HOL "Meta-Rules"
Prolog trick again
New design philosophy
Cobra implementation of Logic class
implementation: the "Logic" class
basic English
reasons for using .NET
reasons for using Java/JVM
HOL update
HOL, Paradox Free: a plan of attack, or two.
Porting Genifer LISP to Scala or Clojure, July 1st
►
June
(7)
Latex Maths
Friday, July 9, 2010
Cobra implementation of Logic class
This is Chuck's code in Cobra. I'm still examining it....
============================================================
http://www.pastey.net/138443-2v9q
1 comment:
Bradley
April 16, 2022 at 4:15 AM
This was a loovely blog post
Reply
Delete
Replies
Reply
Add comment
Load more...
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
This was a loovely blog post
ReplyDelete