python support

2016-06-28 23:47:09 +01:00
parent c2fb631106
commit 3f59ec40cd
30 changed files with 1684 additions and 386 deletions
--- a/packages/ProbLog/problog/timer.yap
+++ b/packages/ProbLog/problog/timer.yap
@@ -240,7 +240,6 @@ timer_stop(Name,Duration) :-
 	->
 	 statistics(walltime,[StopTime,_]),
 	 Duration is StopTime-StartTime;
-
 	 throw(timer_not_started(timer_stop(Name,Duration)))
 	).