FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: