users-prolog
[Top][All Lists]
Advanced

[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,

<blockquote>

  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].

</blockquote> 

more,
l8r,

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

[1] http://www.sju.edu/~jhodgson/pub/suite.tar.gz
[2] http://www.cos.ufrj.br/~vitor/Yap/Yap4.3/yap.html




reply via email to

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