Logic Programming for generating symbolic network functions | Faculty of Computers and Information Skip to main content