Encoding hanoi.dlv.1

Name hanoi.dlv.1
Class Tree
Submitter Martin Gebser
Author n/a
Description
Created 2009-03-30 13:03
Modified 2009-03-12 21:35
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • disk/1
  • on0/2
  • ongoal/2
  • steps/1
  • time/1
Output Predicates
  • put/3
Encoding Parameter
    Standalone Help No
    Attributes
    Content