/*************************************************************************

         name: runningLambda.pl
      version: July, 2003
  description: Driver predicate for implementation of lambda-based semantic construction
      authors: Stephan Walter, Aljoscha Burchardt
*************************************************************************/

:- module(runningLambda,[go/0]).
:- use_module(semconHelpers,[vars2atoms/1,resetVars/0,readLine/1]).
:- use_module(betaConversion,[betaConvert/2]).

:- [semanticDCG].
:- [semconOperators].

/*========================================================================
   Driver Predicates
========================================================================*/

go :-
	readLine(Sentence),
	resetVars,
	s(Formula,Sentence,[]),
	nl, print(Formula),
	betaConvert(Formula,Converted),
	nl, print(Converted).


