ResearchIndex Home W. S. Havens, S. Sidebottom, G. Sidebottom, J. Jones, and R. Ovans. In Pacific Rim Int.
Global consistency has to be ensured by the programmer, using an extra enumeration predicate.
W. S. Havens, S. Sidebottom, G. Sidebottom, J. Jones, and R. Ovans. In Pacific Rim Int. William Havens, Susan Sidebottom, Greg Sidebottom, John Jones, and Russel Ovans. Prolog III also computes over a domain of strings. A Constraint Logic Programming Shell , Proc.