Declarative logic programming

Declarative logic programming : theory, systems, and applications. First edition. New York : Association of Computing Machinery ; San Rafael : Morgan & Claypool Publishers, [2018]. xx, 595 stran. ACM Books ; 20. ISBN 978-1-97000-196-9.