Instance test1

Name test1
Classes
Submitter Martin Gebser
Author Mario Alviano
Description
Created 2009-04-08 15:26
Modified 2009-04-08 15:26
Languages
Language Features
Compatible Encodings
Output Predicates
  • company/1
  • controller/1
  • onSale/4
  • owns/3
  • toBeControlled/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content