As I was about write
s.th. in ST again I created a Prolog engine. This against an old principle, not to write some interpreter, which in turn is be run in another interpreter.
More important is to become able to manipulate Horn clauses integrated in ST.
Again, is this of interest for s.b. here?
-
M