Scala-Prolog
Check-in [bb31cb9f4d]
Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
SHA1 Hash:bb31cb9f4db7280f6e9222d80a2af41c4a1305b5
Date: 2010-10-24 10:19:33
User: niko
Comment:move prolog code over from harmonic, does not currently build (deps)
Tags And Properties
Changes
[show diffs]    [patch]

Added Makefile

Added lib/Lathos.jar

Added lib/asm-debug-all-3.2.jar

Added lib/pcollections-1.0.0.jar

Added src/prolog/Goal.scala

Added src/prolog/GoalEntry.scala

Added src/prolog/GoalParent.scala

Added src/prolog/InterimGoal.scala

Added src/prolog/InvalidApply.scala

Added src/prolog/Proc.scala

Added src/prolog/Prolog.scala

Added src/prolog/Query.scala

Added src/prolog/RecursionLimitExceeded.scala

Added src/prolog/Root.scala

Added src/prolog/Rule.scala

Added src/prolog/RuleApp.scala

Added src/prolog/Scope.scala

Added src/prolog/Tag.scala

Added src/prolog/Term.scala

Added src/prolog/TestProlog.scala

Added src/prolog/Trace.scala

Added src/prolog/UndoEntry.scala