Class SystemTranslator


  • public class SystemTranslator
    extends Object
    Root class for the Translation. Takes a System as input and returns the resulting Prolog program.