A High Performance Architecture for Prolog | Kaicus Deutschland