Re: Global predicates in SWI and Sicstus Prolog

From: Bart Demoen (bmd_at_cs.kuleuven.ac.be)
Date: 08/25/04

  • Next message: Stephan Lehmke: "Re: Godel's Incompleteness and Nonmonotonic Logic" 
    Date: Wed, 25 Aug 2004 09:16:14 +0200

    Christoph Quix wrote:

    > BTW, as you are an insider of MasterProlog, do you know what happened
    > to the system? Is it now just laying somewhere on a backup tape
    > at BMC software, or does somebody have access to it (may be you)?
    > It was quite a hassle to get a new license key from BMC earlier this year.

    Since 1996 or so, I do no longer have the sources - part of the
    agreement after BIM went bankrupt.
    I think MasterProlog is still used at BMC itself - and in my department,
    it is still used in an administrative tool.
    BMC often responds slowly. I have no contact with BMC apart from meeting
    one of the employees (and former implementor of MasterProlog) once in a
    while.

    Cheers

    Bart Demoen

  • Next message: Stephan Lehmke: "Re: Godel's Incompleteness and Nonmonotonic Logic"