mattmils

import java.util.ArrayList;
import java.util.List;

public class Soccorritori {
	private static final int NUM = 4; // Numero soccorritori.
	private static final int C = 3; // Capienza elicottero.

	public static final int IDLE = 0;
	public static final int SETTING = 1;
	public static final int READY = 2;

mattmils

const NS = 4
const NUM = 3

range Ids = 1..NS

const FALSE = 0
const TRUE = 1
range BOOL = FALSE..TRUE

const IDLE = 0

mattmils

vocale(a).
vocale(e).
vocale(i).
vocale(o).
vocale(u).

togli_vocali([],[]).
togli_vocali([X | Xs], Ys):- vocale(X), !, togli_vocali(Xs, Ys).
togli_vocali([X | Xs],[X | Ys]):- togli_vocali(Xs, Ys).

mattmils

const NPD = 2
const NPS = 2
const NA = 2
const C = 4

const DX = 0
const SX = 1

range ID_A = 1..NA
range ID_D = 1..NPD