文章基本信息

标题：P-rho-Log: Combining Logic Programming with Conditional Transformation Systems
本地全文：下载
作者：Besik Dundua ; Temur Kutsia ; Klaus Reisenberger-Hagmayer 等
期刊名称：OASIcs : OpenAccess Series in Informatics
电子版ISSN：2190-6807
出版年度：2016
卷号：52
页码：1-5
DOI：10.4230/OASIcs.ICLP.2016.10
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：P-rho-Log extends Prolog by conditional transformations that are controlled by strategies. We give a brief overview of the tool and illustrate its capabilities.
关键词：Conditional transformation rules; strategies; Prolog