LPOP2018 XSB Position Paper
Author: David S. Warren
Paper Information
Title: | LPOP2018 XSB Position Paper |
Authors: | David S. Warren |
Proceedings: | LPOP Position Papers |
Editors: | K. Tuncay Tekle and Marc Denecker |
Keywords: | Logic Programming, XSB, Logic Meta-Programming |
Abstract: | ABSTRACT. In this position paper we first describe a classic logic programming approach to the solution of (a portion) of the challenge problem involving RBAC. We use the XSB Tabled Prolog Language and system \cite{xsbmanual-07}, with ideas from Transaction Logic \cite{trans-tcs94xs}. Then we discuss issues that involve what would be required to use such an implementation in a real-world application requiring RBAC functionality. And finally we raise issues about the possible design of a general procedural application programming interface to logic (programming) systems. In analogy to ODBC (Open Data Base Connectivity), what might an OLSC (Open Logic System Connectivity) look like? |
Pages: | 6 |
Talk: | Jul 18 11:20 (Session 126E: Security Policies as Challenge Problems) |
Paper: |