STORK and PENGUIN: Logic programming systems using general clauses and defaults | IBM Journals & Magazine | IEEE Xplore