Implementation of predicate logic in APL2

Authors:
U. Engelmann;Th. Gerneth;H. P. Meinzer
Affiliations:
German Cancer Research Center, Department of Medical and Biological Informatics, Im Neuenheimer Feld 280, D-6900 Heidelberg, F.R.G.;German Cancer Research Center, Department of Medical and Biological Informatics, Im Neuenheimer Feld 280, D-6900 Heidelberg, F.R.G.;German Cancer Research Center, Department of Medical and Biological Informatics, Im Neuenheimer Feld 280, D-6900 Heidelberg, F.R.G.
Venue:
APL '89 Conference proceedings on APL as a tool of thought
Year:
1989

Citing 6
Cited 0

A Boolean array based algorithm in APL

ACM SIGAPL APL Quote Quad
Extending APL to logic programming

APL '86 Proceedings of the international conference on APL
APL2 implementations of unification

APL '87 Proceedings of the international conference on APL: APL in transition
Solutions to logic problems in APL2

APL '87 Proceedings of the international conference on APL: APL in transition
Designing APL2 programs for unification

APL '87 Proceedings of the international conference on APL: APL in transition
XPL: an expert systems framework in APL

APL '85 Proceedings of the international conference on APL: APL and the future

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 functions.