A logic programming tool for qualitative system design
Gert Lykke Møller · ACM SIGAPL APL Quote Quad · 1986
Introducing a geometrical approach to propositional divalent logic with the truth-tables of the Boolean connectives as the geometrical objects, we can make a simple operational implementation in APL of basic inference methods. This is the basis for a logic programming tool used for preliminary product design at the Danish company Bang&Olufsen.