Logic Programs with Intensional Functions

Open in new window