[Attempto] Should I allow for non-monotonic reasoning?

Norbert E. Fuchs fuchs at ifi.uzh.ch
Wed Aug 12 10:52:03 CEST 2015


> On 12 Aug 2015, at 9:58 , Douglas Miles <logicmoo at gmail.com> wrote:
> 
> What language is RACE in?  
> 
> /me hopes its prolog!

Douglas

You are hoping correctly. RACE is completely written in (SWI) Prolog.

Best.

   --- nef



More information about the attempto mailing list