February 21, 2018
plspec - A Specification Language for Prolog Data
Authors
Philipp Körner, Sebastian Krings.
Venue
DECLARE 2017 (WFLP 2017)
Bibtex
@InProceedings(plspec,
Author = {Philipp Körner and Sebastian Krings},
Title = {{plspec - A Specification Language for Prolog Data}},
Booktitle = {Proceedings Declare (International Workshop on Functional and Constraint Logic Programming) 2017},
Year = 2018,
Series = {LNAI},
Volume = 10997,
Publisher = {Springer}
)
