Next: Open-World DATALOG Up: Extended Logic-plus-Functional Programming Previous: Introduction

Relations Defined by Hornish Clauses



Harold Boley & Michael Sintek (sintek@dfki.uni-kl.de)