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

/ec/ECSpooler/backends/prolog/
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 1057 milliseconds