Implementation of Predicate Logic in APL2

@inproceedings{Engelmann1989ImplementationOP,
  title={Implementation of Predicate Logic in APL2},
  author={Uwe Engelmann and Th. Gerneth and Hans-Peter Meinzer},
  booktitle={APL},
  year={1989}
}
Our aim is the implementation of a knowledge based image analysis system, which combines the capabilities of APL and Artificial Intelligence. The first step is the implementation of predicate logic in APL, based on the suggestions of Brown. A first prototype is now ready, which can be used for PROLOG-like functions in connection with image processing… CONTINUE READING