[lptp] ERROR: Undefined procedure: prolog_listing: (:)/2

From: student (not_at_a.b.c.dINVALID)
Date: 03/10/05

  • Next message: Jan Wielemaker: "Re: [lptp] ERROR: Undefined procedure: prolog_listing: (:)/2" 
    Date: Thu, 10 Mar 2005 03:13:12 GMT

    I am trying to get Staerks' lptp package working with SWI-Prolog
    on my PC but I keep getting the following error message:

    ERROR: Undefined procedure: prolog_listing: (:)/2

    For example,

    ?- consult(lptp).
    ...
    LPTP, Version 1.06, July 21, 1999.
    Copyright (C) 1999 by Robert F. Staerk
    % /usr/local/lptp/src/lptp compiled 0.42 sec, 10,448 bytes

    Yes
    ?- listing(check).

    check(A) :-
    ERROR: Undefined procedure: prolog_listing: (:)/2

       If I am not mistaken, {:}/2 is declared as

    lptp.pl: :- op(970,xfy,:). % two Peano dots, right
    associative

    Would someone please be so kind as to tell me what is going on here,
    and what I have to do to make this problem go away?

    Thank you.

  • Next message: Jan Wielemaker: "Re: [lptp] ERROR: Undefined procedure: prolog_listing: (:)/2"