Towards an Automated Test Bench Environment for Prolog Systems

Ricardo Gonçalves, Miguel Areias, Ricardo Rocha 0001. Towards an Automated Test Bench Environment for Prolog Systems. In Ricardo Queirós, Mário Pinto, Alberto Simões, José Paulo Leal, Maria João Varanda Pereira, editors, 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal. Volume 56 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.