2 papers
cs.PL2016
Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016)
Manuel Carro, Andy King
This is the list of the full papers accepted for presentation at the 32nd International Conference on Logic Programming, New York City, USA, October 18-21, 2016. In addition to the…
cs.PL2009
Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry
Andy King
Logic programming is sometimes described as relational programming: a paradigm in which the programmer specifies and composes n-ary relations using systems of constraints. An advan…