search

Topology / ALM-Compiler

A Java implementation of the ALM language that compiles to the SPARC variant of Answer Set Programming (ASP).
Apache License 2.0
0 stars 1 forks source link

library import - breaking up the program #38

Open anuradha252 opened 5 years ago

anuradha252 commented 5 years ago

Here are the steps I followed to break up the modules into library + import

  1. Removed all the module above the very last module and stored it in a separate file say library.alm
  2. Added theory theoryname as the very first line of this file library.alm. It looks like the theory name is the same as the library file so theory library. Should this be the case?
  3. In the inheriting file, we use the syntax 
        import library from commonsense_library
  4. library above is the name of the theory we are inheriting. commonsense_library seems to be the name of the folder the theory file is located in

Are the above steps correct?