Encoding checkdepots.lparse

Name checkdepots.lparse
Class Tree
Submitter Martin Gebser
Author Wolfgang Faber
Description This program checks whether a depot allocation has minimal supply costs among all depot allocations of the same cardinality.

Input predicates:
restaurant(Name,Km), depot(Name,Km)

Output predicates:
altdepot(Name,Km)

Author: Wolfgang Faber <>
License: GNU Public License, http://www.gnu.org/licenses/gpl.html
Created 2009-03-30 13:03
Modified 2009-03-12 22:45
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • depot/2
  • restaurant/2
Output Predicates
  • altdepot/2
Encoding Parameter
    Standalone Help No
    Attributes
    Content