Searched refs:Prolog (Results 1 - 2 of 2) sorted by relevance

/ec/ECSpooler/backends/prolog/
H A DpredTest.pl2 % The [!] in the second [meta_test] is important. It stops Prolog
4 % succeeded once. If it's omitted, Prolog would try again and again
H A DProlog.py2 # $Id: Prolog.py 1634 2013-04-12 15:36:36Z amelung $
36 # load Prolog functions to do tests
157 class Prolog(ProgrammingBackend): class in inherits:ProgrammingBackend
159 A backend class for checking Prolog programs by comparing
164 name = 'Prolog'
220 # use it because the value reported by SWI-Prolog isn't
264 Runs sematic test on a Prolog program.

Completed in 566 milliseconds