[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: MSVC for linking etc.

From: Vic Bancroft
Subject: Re: MSVC for linking etc.
Date: Fri, 22 Mar 2002 23:17:37 -0500 (EST)

On Fri, 22 Mar 2002, J첩rgen Villadsen wrote:

> Does Yap support the ISO standard in this case - my version 4.2.0 does not 
> accept :-
> dynamic(p/1,q/1). ???

The ISO standard may not be explicit about "convenience" notations, since 
the vanilla conformance suite [1] does not use one.  It has cases such as,

  :- dynamic(foo/1).
  foo(X) :- call(X), call(X).
  foo(X) :- call(X) -> call(X).

In GNU prolog the convenient syntax might be,

  :- dynamic( [ p/1, q/1 ] ).

Though, even a crusty GNU Prolog 1.2.8 will also allow,

  :- dynamic(  p/1, q/1 ).

However in an attempt to make code that consults under either flavor, you
might have troubles.  Since at least according to the documentation [2],
it would appear that in Yap4.3, dynamic has lost the parens,


  dynamic +P 

    Declares predicate P or list of predicates [P1,...,Pn] as a dynamic 
    predicate. P must be written in form: name/arity. 

      :- dynamic god/1.

    a more convenient form can be used: 

      :- dynamic son/3, father/2, mother/2.

    or, equivalently, 
      :- dynamic [son/3, father/2, mother/2].



katabatic cohabitation :  to live together as if a married couple or in 
to exist together, relating as or being like a wind produced by the flow of 
dense air down a slope (as of a mountain or glacier) in an area subject to 
radiational cooling.   mailto:address@hidden


reply via email to

[Prev in Thread] Current Thread [Next in Thread]