The Rho Computational Logic Toolkit
Overview
The Rho Computational Toolkit is a collection of Scala / JVM APIs that facilitate writing software for an open-ended variety of logical inference programs.
The Rho Computational Toolkit is a collection of Scala / JVM APIs that facilitate writing software for an open-ended variety of logical inference programs.
The Rho Computational Toolkit is a collection of Scala / JVM APIs that facilitate writing software for an open-ended variety of logical inference programs.
The Rho Computational Toolkit is a collection of Scala / JVM APIs that facilitate writing software for an open-ended variety of logical inference programs.
3624> git add -f project/build.properties project/build/src/ProjectRho.scala | |
3625> | |
3625> git status | |
# On branch master | |
# Changed but not updated: | |
# (use "git add/rm <file>..." to update what will be committed) | |
# (use "git checkout -- <file>..." to discard changes in working directory) | |
# | |
# deleted: src/rrs/util/WeakIdentityHashMap.java | |
# |
/* ____ __ | |
** / __ \ / /_ ____ | |
** / /_/ // __ \ / __ \ © 2009 H&S Information Systems | |
** / _, _// / / // /_/ / ALL RIGHTS RESERVED | |
** /_/ |_|/_/ /_/ \____/ | |
*/ | |
/* | |
Limiter.scala |
implicit def intTimes(count: Int) = | |
new { | |
/** Iterate ``f`` ``count`` times, not passing the iteration index */ | |
def times(f: => Unit) = | |
1 to count foreach { _ => f } | |
/** Iterate ``f`` ``count`` times, passing the iteration index each time */ | |
def iTimes(f: Int => Unit) = | |
1 to count foreach { i => f(i) } | |
} |
1746> sbt | |
java.lang.NoClassDefFoundError: SaveableXml | |
at BuildTAF.<init>(TAF.scala:7) | |
at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) | |
at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:39) | |
at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:27) | |
at java.lang.reflect.Constructor.newInstance(Constructor.java:513) | |
at sbt.Project$.constructProject(Project.scala:391) | |
at sbt.Project$$anonfun$9.apply(Project.scala:365) | |
at sbt.Project$$anonfun$9.apply(Project.scala:364) |
1747> sbt | |
[info] | |
[info] Updating plugins... | |
[warn] module not found: com.github.mpeltonen#sbt-idea-plugin_2.7.7;0.1-SNAPSHOT | |
[warn] ==== local: tried | |
[warn] /Users/rschulz/.ivy2/local/com.github.mpeltonen/sbt-idea-plugin_2.7.7/0.1-SNAPSHOT/ivys/ivy.xml | |
[warn] -- artifact com.github.mpeltonen#sbt-idea-plugin_2.7.7;0.1-SNAPSHOT!sbt-idea-plugin_2.7.7.jar: | |
[warn] /Users/rschulz/.ivy2/local/com.github.mpeltonen/sbt-idea-plugin_2.7.7/0.1-SNAPSHOT/jars/sbt-idea-plugin_2.7.7.jar | |
[warn] ==== sbt-idea-repo: tried | |
[warn] http://mpeltonen.github.com/maven/com/github/mpeltonen/sbt-idea-plugin_2.7.7/0.1-SNAPSHOT/sbt-idea-plugin_2.7.7-0.1-SNAPSHOT.pom |
import sbt._ | |
class Plugins(info: ProjectInfo) | |
extends PluginDefinition(info) | |
{ | |
val sbtIdeaRepo = "sbt-idea-repo" at "http://mpeltonen.github.com/maven/" | |
val sbtIdea = "com.github.mpeltonen" % "sbt-idea-plugin" % "0.1-SNAPSHOT" | |
val ideaCore = "com.github.mpeltonen" %% "sbt-idea-core" % "0.1-SNAPSHOT" | |
} |
Hit enter to retry or 'exit' to quit: | |
[info] Recompiling plugin definition... | |
[info] Source analysis: 1 new/modified, 0 indirectly invalidated, 0 removed. | |
[info] | |
[info] Updating plugins... | |
[info] downloading http://mpeltonen.github.com/maven/com/github/mpeltonen/sbt-idea-core_2.7.7/0.1-SNAPSHOT/sbt-idea-core_2.7.7-0.1-SNAPSHOT.jar ... | |
[info] [SUCCESSFUL ] com.github.mpeltonen#sbt-idea-core_2.7.7;0.1-SNAPSHOT!sbt-idea-core_2.7.7.jar (508ms) | |
[info] downloading http://mpeltonen.github.com/maven/com/github/mpeltonen/sbt-idea-plugin/0.1-SNAPSHOT/sbt-idea-plugin-0.1-SNAPSHOT.jar ... | |
[info] [SUCCESSFUL ] com.github.mpeltonen#sbt-idea-plugin;0.1-SNAPSHOT!sbt-idea-plugin.jar (167ms) | |
[info] :: retrieving :: plugin-definition#plugin-definition_2.7.7 [sync] |