yap-users — General Information on Yap

Re: [Yap-users] Bug in Yap's CHR

[Vitor S. C. <vi...@bi...>]

Hi Matthias,

The CVS version still has the first problem (it gives the wrong
result), but at least it is consistent: it gives the same wrong result
twice.

Cheers,

Vitor

 

[Yap-users] Bug in Yap's CHR

[Matthias B. <haf...@we...>]

The following program does not work properly in Yap 4.3.20:

------------------------------------------------
:-yap_flag(language,sicstus).
:-use_module(library(chr)).

handler primes.

constraints primes/1,prime/1.

primes(1) <=> false.
primes(2) <=> prime(2).  
primes(N) <=> N>2 | M is N-1, prime(N), primes(M).
prime(I) \ prime(J) <=> J mod I =:= 0 | true.


--------------------------------------

Session transcript:

prolog> yap -l primes.pl
[ Restoring file startup ]
[ YAP version Yap-4.3.20 ]
 [ reconsulting primes.pl... ]
[ Leashing set to full (call,exit,redo,fail) ]
  [ reconsulting /usr/share/Yap/chr... ]
   [ reconsulting /usr/share/Yap/chr/getval... ]
   [ /usr/share/Yap/chr/getval reconsulted 4036 bytes in 0.01 seconds ]
   [ reconsulting library(lists)... ]
   [ library(lists) reconsulted 17912 bytes in 0.03 seconds ]
   [ reconsulting library(terms)... ]
   [ library(terms) reconsulted 1484 bytes in 0 seconds ]
   [ reconsulting library(assoc)... ]
   [ library(assoc) reconsulted 8860 bytes in 0.02 seconds ]
   [ reconsulting /usr/share/Yap/chr/sbag... ]
    [ reconsulting library(ordsets)... ]
    [ library(ordsets) reconsulted 18612 bytes in 0.03 seconds ]
   [ /usr/share/Yap/chr/sbag reconsulted 27108 bytes in 0.04 seconds ]
   [ reconsulting /usr/share/Yap/chr/chrcmp... ]
    [ reconsulting operator... ]
    [ operator reconsulted 888 bytes in 0 seconds ]
    [ reconsulting matching... ]
    [ matching reconsulted 8912 bytes in 0.01 seconds ]
    [ reconsulting library(chr/concat)... ]
    [ library(chr/concat) reconsulted 3516 bytes in 0.01 seconds ]
   [ /usr/share/Yap/chr/chrcmp reconsulted 133408 bytes in 0.19 seconds ]
   [ reconsulting /usr/share/Yap/chr/trace... ]
   [ /usr/share/Yap/chr/trace reconsulted 52468 bytes in 0.09 seconds ]
   [ reconsulting /usr/share/Yap/atts... ]
   [ /usr/share/Yap/atts reconsulted 14036 bytes in 0.03 seconds ]
  [ /usr/share/Yap/chr reconsulted 322424 bytes in 0.53 seconds ]
{CHR compiling constraint primes/1}
{CHR compiling constraint prime/1}
 [ primes.pl reconsulted 352584 bytes in 0.58 seconds ]


?- primes(700).

prime(113),
prime(109),
prime(107),
prime(103),
prime(101),
prime(97),
prime(89),
prime(83),
prime(79),
prime(73),
prime(71),
prime(67),
prime(61),
prime(59),
prime(53),
prime(47),
prime(43),
prime(41),
prime(37),
prime(31),
prime(29),
prime(23),
prime(19),
prime(17),
prime(13),
prime(11),
prime(7),
prime(5),
prime(3),
prime(2) ?

    ?- primes(700).

no


As you can see, not only does it miscompute primes(700) (there are more
primes below 700), it even gives a different result ("no") when
primes(700) is executed a 2nd time. The program works as expected with
Sicstus.

MSB

-- 
Support bacteria - they're the only culture some people have.

[Yap-users] 4x4-TT

[4x4-tt <aj...@ne...>]

Este email serve para apresentar o Portal 4x4-tt.com

Esperamos por si em   www.4x4-tt.com   visite-nos estamos abertos 24 Horas 
por dia .


Deixe a sua opinião no nosso livro de visitas , e vote vote vote  no nosso 
site ( Lado Direito da home page ) .


Se não quiser que o seu email faça parte da nossa lista , contacte-nos por 
mail .

[Yap-users] 4x4-TT

[4x4-tt <aj...@ne...>]

Este email serve para apresentar o Portal 4x4-tt.com

Esperamos por si em   www.4x4-tt.com   visite-nos estamos abertos 24 Horas 
por dia .


Deixe a sua opinião no nosso livro de visitas , e vote vote vote  no nosso 
site ( Lado Direito da home page ) .


Se não quiser que o seu email faça parte da nossa lista , contacte-nos por 
mail .

[Yap-users] 4x4-TT

[4x4-tt <aj...@ne...>]

Este email serve para apresentar o Portal 4x4-tt.com

Esperamos por si em   www.4x4-tt.com   visite-nos estamos abertos 24 Horas 
por dia .


Deixe a sua opinião no nosso livro de visitas , e vote vote vote  no nosso 
site ( Lado Direito da home page ) .


Se não quiser que o seu email faça parte da nossa lista , contacte-nos por 
mail .

Re: [Yap-users] Re: Pipes and Streams

[Vitor S. C. <vi...@bi...>]

Hi Michael,

> 
> Now if we start up yap and do a:
> ['YapConnect.txt'].
> 
> Yap sends the two 'Strings' and Java returns the right messages. (Tested
> with the logfile: logfile.txt)
> We are back at the Yap-command prompt.
> Now we type the following two lines at the command prompt:
> send('First Hello').
> send_nl.
> 
> The problem is, that nothing is sent to the Java Program anymore!
> (Tested again with the logfile)
> 

I tested with the version in CVS, and I got this

[ Restoring file startup ]
[ YAP version Yap-4.3.21 ]
   ?- [StoryFrame].
[ INSTANTIATION ERROR- reconsult(_146): expected bound value ]
   ?- ['StoryFrame'].
[ PERMISSION ERROR- consult(StoryFrame): cannot read from StoryFrame ]
   ?- ['YapConnect'].
 [ consulting /home/vitor/Yap/bins/linux/YapConnect.yap... ]
  [ reconsulting /usr/local/share/Yap/system.yap... ]
   [ reconsulting /usr/local/share/Yap/lists.yap... ]
   [ reconsulted /usr/local/share/Yap/lists.yap in module lists, 10 msec 13792 bytes ]
  [ reconsulted /usr/local/share/Yap/system.yap in module system, 20 msec 51964 bytes ]
_406_406 [ consulted /home/vitor/Yap/bins/linux/YapConnect.yap in module user, 20 msec 55372 bytes ]

yes
   ?- send('First Hello').

yes
   ?- send_nl.

yes
   ?- send('Third Hello').

yes
   ?- send_nl.

yes
   ?- ^EOF

with logfile.txt

Received: First Hello
Sent: FistHello.
Received: Second Hello
Sent: SecondHello.
Received: First Hello
Sent: FistHello.
Received: Third Hello
Sent: THE_END.

I am using Linux, and the latest CVS. Can you try the latest version
in CVS?

> It seems that the connection is broken, although the Java Program is
> still running! (No 'THE_END' in the logfile)
> Is there a way to keep the connection alive? Are we doing something
> wrong or is it supposed to work that way?
> 

You might have had a problem with buffering: often the OS only shows
the characters after a while. Did you try exiting Yap and check if
that worked?

> 
> The other problem only occured under Windows (NT4.0 and 98) with Yap
> Version 4.3.20 precompiled binaries:
> We are not able to build up a connection at all. We are using the same 2
> files (YapConnect.txt and StoryFrame.java) but nothing is sent to the
> Java Program.
> Is it possible to connect the streams under the Windows enviroment?
> Again, are we doing something wrong? Should we not use the precompiled
> binaries?
> 

I'll check that one next.

Cheers,

Vitor

Re: [Yap-users] Re: Pipes and Streams

[Vitor S. C. <vi...@bi...>]

Hi Michael,

Thanks for the code example, I will work on it.

> Is it possible to connect the streams under the Windows enviroment?

I'll check it at home, I don't have access to Win32 myself right now.

> Again, are we doing something wrong? Should we not use the precompiled
> binaries?
> 

Should work, let me check if there was a configuration problem with
the WIN32 version

> One last question: Is it possible to disable the 'reading from pipe x'
> message for every character read?

That was a debugging message in iopreds.c, it is not in the current CVS.

Cheers,

Vitor

[Yap-users] Re: Pipes and Streams

[Michael B. <mb...@zg...>]

Hi Vitor,

i'm working with Oliver who recently sent you an email concerning
problems with pipes in Yap.

We are using Yap 4.3.20 with Linux (2002-01-03) from Sourceforge and
the precompiled binaries for Windows NT4.0 also from Sourceforge.

I think it's easier to explain our little problem if I send you a code
example:
Yap file (YapConnect.txt) looks like this:

:- use_module(library(system)).
:- dynamic(connect/2).

init_connect :-
 exec('java StoryFrame',[pipe(Message), pipe(Answer), null],_),
 retractall(connect(_,_)),
 assert(connect(out,Message)),
 assert(connect(in,Answer)).

send(Msg) :-
 connect(out,Stream),
 write(Stream,Msg),
 flush_output(Stream).

send_nl :-
 connect(out,Stream),
 nl(Stream),
 flush_output(Stream).


receive(Msg) :-
 connect(in, Stream),
 read(Stream,Msg).

:- init_connect.
:- send('First Hello').
:- send_nl.
:- receive(Message), write(Message).
:- send('Second Hello').
:- send_nl.
:- receive(Message), write(Message).



Java file (StoryFrame.java) looks like this:

import java.io.*;

class StoryFrame {

 public static void main(String[] args) throws IOException {
  BufferedReader in = new BufferedReader(new
InputStreamReader(System.in));
  Writer out = new BufferedWriter(new OutputStreamWriter(System.out));
  FileWriter log = new FileWriter("logfile.txt");

  String input = null;

  while ((input = in.readLine()) != null) {
   log.write("Received: "+ input +"\n");
   if (input.equals("First Hello")) {
    System.out.println("FirstHello.");
    log.write("Sent: FistHello.\n");
    log.flush();
   }
   if (input.equals("Second Hello")) {
    System.out.println("SecondHello.");
    log.write("Sent: SecondHello.\n");
    log.flush();
   }
  }

  System.out.println("THE_END.");
  log.write("Sent: THE_END.\n");
  log.flush();
 }
}


Now if we start up yap and do a:
['YapConnect.txt'].

Yap sends the two 'Strings' and Java returns the right messages. (Tested
with the logfile: logfile.txt)
We are back at the Yap-command prompt.
Now we type the following two lines at the command prompt:
send('First Hello').
send_nl.

The problem is, that nothing is sent to the Java Program anymore!
(Tested again with the logfile)

It seems that the connection is broken, although the Java Program is
still running! (No 'THE_END' in the logfile)
Is there a way to keep the connection alive? Are we doing something
wrong or is it supposed to work that way?


The other problem only occured under Windows (NT4.0 and 98) with Yap
Version 4.3.20 precompiled binaries:
We are not able to build up a connection at all. We are using the same 2
files (YapConnect.txt and StoryFrame.java) but nothing is sent to the
Java Program.
Is it possible to connect the streams under the Windows enviroment?
Again, are we doing something wrong? Should we not use the precompiled
binaries?

One last question: Is it possible to disable the 'reading from pipe x'
message for every character read?

Thanks for your help in advance!

Regards
Michael

Re: [Yap-users] Pipes and Streams

[Vitor S. C. <vi...@bi...>]

Hi Oliver,

Date: Tue, 26 Mar 2002 17:29:33 +0100 (MET)

> Hi, 
> I'm working with Yap 4.3.20 and created a Connection from Yap to Java, using
> the functionality of
> pipe(S)
> and
> exec('java Frame',IO,Status)
> 

Great!

> With your Help it is working now under Unix Systems without Problems.
> 
> However,
> we still have several Problems.
> 
> 1. 
> It doesn't work under the Windows Enviroment.
> The Java Program is getting started, but the Streams doesn't connect.
> The Command
> write(Output_Stream, Message)
> is working, but java does not receive anything.
> We have to use the windows enviroment... If the connection doesn't work with
> streams/pipes please tell us how we can establish a connection under the
> windows enviroment.
> 

Which version of Windows/Yap?

> 2.
> In Unix once the Program reaches the Commandline of Yap, the Connection to
> Java is and stays broken.
> 

Can you explain better? You mean the connection is not disconnected?

Thanks!

Vitor

[Yap-users] Pipes and Streams

[Oliver W. <Ath...@gm...>]

Hi, 
I'm working with Yap 4.3.20 and created a Connection from Yap to Java, using
the functionality of
pipe(S)
and
exec('java Frame',IO,Status)

With your Help it is working now under Unix Systems without Problems.

However,
we still have several Problems.

1. 
It doesn't work under the Windows Enviroment.
The Java Program is getting started, but the Streams doesn't connect.
The Command
write(Output_Stream, Message)
is working, but java does not receive anything.
We have to use the windows enviroment... If the connection doesn't work with
streams/pipes please tell us how we can establish a connection under the
windows enviroment.

2.
In Unix once the Program reaches the Commandline of Yap, the Connection to
Java is and stays broken.

Thanx
Oliver Werth

-- 
GMX - Die Kommunikationsplattform im Internet.
http://www.gmx.net

Re: [Yap-users] Java - Yap Communication

[Vitor S. C. <vi...@bi...>]

Hi,

> 
> Thanks, it does answers some of the Questions I had,
> I tried it already, and I do not understand how to send to the created Pipe.
> I tried it with write/2 but I have no Idea how to handle the IO-Stream, 
> I tried so far ...
> :- exec('java Frame',[pipe(Stream),pipe(Answer),null],_).
> :- write(Stream, "message").

I see what you mean, t's probably easier to do something like:

:- exec('java Frame',[pipe(Stream),pipe(Answer),null],_),
   yap_flag(user_input, Stream),
   yap_flag(user_input, Output).

That redirects Yap's user_input and user_output to these streams, then
you can just use read/1 and write/1.

Cheers,

Vitor

Re: [Yap-users] Java - Yap Communication

[Oliver W. <Ath...@gm...>]

Hi, 
> 
> > I'm trying to connect a Java Program to my Yap Code (Version 4.3.20).
> > I start the Java through Yap with the "exec(Command,IO-List,Status)"
> > Command.
> > 
> 
> I have been using that command myself and it seems to be working.
The Command is working fine, that is right.
> 
> > I have Problems to build up a communication between those Parts, and
> tried
> > to do it 
> > using the IO-List Parameters in exec/3 . I failed so far.
> > 
> > Yap-Side:
> > 
> > :- exec('java Frame',[user_input,user_output,user_error],Status).
> > 
> > :- write(MSG_O).
> > 
> > :- read(MSG_I).
> > 
> > Java-Side:
> > 
> > BufferedReader in = new BufferedReader(new
> InputStreamReader(System.in));
> > String tempString = "";
> > 
> > while (tempString.compareTo("eof")!= 0)  {
> >         tempString = in.readLine();
> >         log.println(tempString);   // writes received MSG into a
> Log-File
> >         System.out.println("pos.");
> > }
> > 
> 
> I don't understand very well what you are trying to do. You seem to be
> wanting to share the standard descriptors, and I don't know if you can
> use them to communicate. 

It looks like I can not use the standard descriptors to communicate, so I'm
glad for 
your advice.
> 
> In my program what I do to communicate with a matlab process is:
> 
>  exec('matlab -nojvm
-nosplash',[pipe(CommandStream),pipe(Answer),pipe(Answer)],_),
> 
> I send commands to the matlab shell using this procedure:
> 
> send_command(OStream, IStream, String, Args) :-
>  format(OStream, String, Args),
>  wait_for_matlab_prompt(IStream).
> 
> wait_for_matlab_prompt/1 just scans matlab until finding a matlab
> prompt, which will be of the form >> or EDU>:
> 
> wait_for_matlab_prompt(Answer) :-
>  fetch_prompt(Answer, -1). 
> 
> fetch_prompt(Answer, C0) :-
>  get0(Answer, C1),
>  ( ((C0 = 0'> ; C0 = 0'U ) ,C1 = 0'> ) ->
>      true
>  ;
>      fetch_prompt(Answer, C1)
>  ).
> 
> It works fine for me (well, matlab is very slow ;-).
> 
> > Any Help or new Suggestions are Welcome.
> > Thanks in advance for your Time and Help.
> > 
> 
> Does this help?

Thanks, it does answers some of the Questions I had,
I tried it already, and I do not understand how to send to the created Pipe.
I tried it with write/2 but I have no Idea how to handle the IO-Stream, 
I tried so far ...
:- exec('java Frame',[pipe(Stream),pipe(Answer),null],_).
:- write(Stream, "message").
[ INSTANTIATION ERROR- write/2 in prolog:write/2: expected bound value ] 
or
:- exec('java Frame',[pipe(Stream),pipe(Answer),null],_).
:- write(pipe(Stream), "message").
[ DOMAIN ERROR- write/2 in prolog:write/2: pipe(_537) not a stream ]
or
:- exec('java Frame',[pipe(stream),pipe(answer),null],_).
:- write(stream, "message").
:- user:exec(java Frame,[pipe(stream),pipe(answer),null],_552) failed.
[ EXISTENCE ERROR- write/2 in prolog:write/2: stream not an open stream ]
or
:- exec('java Frame',[pipe(stream),pipe(nswer),null],_).
:- write(pipe(stream), "message").
:- user:exec(java StoryFrame,[pipe(stream),pipe(answer),null],_552) failed.
[ DOMAIN ERROR- write/2 in prolog:write/2: pipe(_537) not a stream ]
It did not work ... the docs did not help.

Thanks so far
Oliver 

-- 
GMX - Die Kommunikationsplattform im Internet.
http://www.gmx.net

Re: [Yap-users] Java - Yap Communication

[Vitor S. C. <vi...@bi...>]

Hi Oliver,

> I'm trying to connect a Java Program to my Yap Code (Version 4.3.20).
> I start the Java through Yap with the "exec(Command,IO-List,Status)"
> Command.
> 

I have been using that command myself and it seems to be working.

> I have Problems to build up a communication between those Parts, and tried
> to do it 
> using the IO-List Parameters in exec/3 . I failed so far.
> 
> Yap-Side:
> 
> :- exec('java Frame',[user_input,user_output,user_error],Status).
> 
> :- write(MSG_O).
> 
> :- read(MSG_I).
> 
> Java-Side:
> 
> BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
> String tempString = "";
> 
> while (tempString.compareTo("eof")!= 0)  {
>        	tempString = in.readLine();
>         log.println(tempString);   // writes received MSG into a Log-File
>         System.out.println("pos.");
> }
> 

I don't understand very well what you are trying to do. You seem to be
wanting to share the standard descriptors, and I don't know if you can
use them to communicate. 

In my program what I do to communicate with a matlab process is:

	exec('matlab -nojvm -nosplash',[pipe(CommandStream),pipe(Answer),pipe(Answer)],_),

I send commands to the matlab shell using this procedure:

send_command(OStream, IStream, String, Args) :-
	format(OStream, String, Args),
	wait_for_matlab_prompt(IStream).

wait_for_matlab_prompt/1 just scans matlab until finding a matlab
prompt, which will be of the form >> or EDU>:

wait_for_matlab_prompt(Answer) :-
	fetch_prompt(Answer, -1). 

fetch_prompt(Answer, C0) :-
	get0(Answer, C1),
	( ((C0 = 0'> ; C0 = 0'U ) ,C1 = 0'> ) ->
	    true
	;
	    fetch_prompt(Answer, C1)
	).

It works fine for me (well, matlab is very slow ;-).

> Any Help or new Suggestions are Welcome.
> Thanks in advance for your Time and Help.
> 

Does this help?

Cheers,

Vitor

[Yap-users] Java - Yap Communication

[Oliver W. <Ath...@gm...>]

Hello,

I'm trying to connect a Java Program to my Yap Code (Version 4.3.20).
I start the Java through Yap with the "exec(Command,IO-List,Status)"
Command.

I have Problems to build up a communication between those Parts, and tried
to do it 
using the IO-List Parameters in exec/3 . I failed so far.

Yap-Side:

:- exec('java Frame',[user_input,user_output,user_error],Status).

:- write(MSG_O).

:- read(MSG_I).

Java-Side:

BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
String tempString = "";

while (tempString.compareTo("eof")!= 0)  {
       	tempString = in.readLine();
        log.println(tempString);   // writes received MSG into a Log-File
        System.out.println("pos.");
}

Any Help or new Suggestions are Welcome.
Thanks in advance for your Time and Help.

Oliver Werth

-- 
GMX - Die Kommunikationsplattform im Internet.
http://www.gmx.net

Re: [Yap-users] Question regarding Yap 4.2.0

[Vitor S. C. <vi...@bi...>]

Hi Malin,

>=20
> My name is Malin Holmvall and I am studying Computer and Systems Scienc=
e at the University of Stockholm, Sweden.
>=20
> At present I am writing my Master=C2=92s Thesis in the area of Inductiv=
e Logic Programming. I am working with the ILP-system Aleph which require=
 the Prolog compiler YAP.
>=20

Yes.

> I have two questions regarding the installation of Yap and would be gra=
teful if you could help me.
>=20
> If I install Yap 4.2, the Solaris 2.6 binary code, from your website  h=
ttp://www.ncc.up.pt/~vsc/Yap/
> Is the flag -DDEPTH_LIMIT=3D1 included in the compiler options?
>=20

No.

> We have tried to install YAP 4.2 by compiling the source code. When we =
use the compiler gnu gcc on a Solaris 5.7 machine we get two warnings und=
er configure:
> What are we doing wrong?
>=20
> rue Yatom.h
> makedepend: warning:  ./iopreds.c, line 382: cannot find include file
> "readline/readline.h"
>         not in ./readline/readline.h
>         not in ./readline/readline.h
>         not in ./readline/readline.h
>         not in ./OPTYap/readline/readline.h
>         not in /usr/include/readline/readline.h
> makedepend: warning:  ./load_aout.c, line 27: cannot find include file
> "a.out.h"
>         not in ./a.out.h
>         not in ./a.out.h
>         not in ./a.out.h
>         not in ./OPTYap/a.out.h
>         not in /usr/include/a.out.h
>=20

Well, the warnings are strange, but it may be the case that the system
will still compile. What happens when you actually try that?

Cheers,

Vitor

[Yap-users] Question regarding Yap 4.2.0

[HOLMVALL M. <mal...@te...>]

My name is Malin Holmvall and I am studying Computer and Systems Science =
at the University of Stockholm, Sweden.

At present I am writing my Master=92s Thesis in the area of Inductive =
Logic Programming. I am working with the ILP-system Aleph which require =
the Prolog compiler YAP.

I have two questions regarding the installation of Yap and would be =
grateful if you could help me.

If I install Yap 4.2, the Solaris 2.6 binary code, from your website  =
http://www.ncc.up.pt/~vsc/Yap/
Is the flag -DDEPTH_LIMIT=3D1 included in the compiler options?

We have tried to install YAP 4.2 by compiling the source code. When we =
use the compiler gnu gcc on a Solaris 5.7 machine we get two warnings =
under configure:
What are we doing wrong?

rue Yatom.h
makedepend: warning:  ./iopreds.c, line 382: cannot find include file
"readline/readline.h"
        not in ./readline/readline.h
        not in ./readline/readline.h
        not in ./readline/readline.h
        not in ./OPTYap/readline/readline.h
        not in /usr/include/readline/readline.h
makedepend: warning:  ./load_aout.c, line 27: cannot find include file
"a.out.h"
        not in ./a.out.h
        not in ./a.out.h
        not in ./a.out.h
        not in ./OPTYap/a.out.h
        not in /usr/include/a.out.h



Best Regards
Malin Holmvall

[Yap-users] Position: 2 Research Associates, "Bio-Logical"

[Amanda C. <aj...@ab...>]

This could be suitable for Mercury or Yap users, since we're
looking for people who know about deductive databases or
inductive logic programming. Apologies for multiple copies
if you subscribe to both.


-------------------------------------------------------

Position: 2 Research Associates
Department of Computer Science, University of Wales, Aberystwyth
Web: www.aber.ac.uk/~dcswww/Research/bio/

Bio-Logical: An Intelligent Database for Yeast Functional Genomics

The Computational Biology group of the Department of Computer Science,
University of Wales Aberystwyth is a world leader in the application
of Artificial Intelligence techniques to scientific problems in
biology and chemistry.  The aim of the project is to develop an
integrated bioinformatic database with inbuilt reasoning ability.

The research will be done under the leadership of Dr Ross D. King and
in collaboration with Professor Steve Oliver (University of Manchester)
and Dr. Ashwin Srinivasan (University of Oxford).

We are interested in candidates with a PhD who have demonstrable
research expertise in machine inference (deduction or induction) and
who are interested in bioinformatics. The appointment will be for a
fixed term of four years on the RA11 salary range (25,455-32,537).

Informal enquiries to Ross D. King on +44 (0)1970-622432 or
rd...@ab... . For information on Computational Biology research
see: http://www.aber.ac.uk/~dcswww/Research/bio/
Closing date 22.3.2002.

An application form can be obtained by contacting the Personnel
Office, University of Wales Aberystwyth, Old College, King Street,
Aberystwyth, Ceredigion SY23 2AX. Tel: +44(0)1970-621586, fax:
+44(0)1970- 622975 or by e-mail: per...@ab... or at
http://www.aber.ac.uk/employment.shtml

Re: [Yap-users] problem with sockets

[Vitor S. C. <vi...@bi...>]

Hi Erick,

Sorry for the delay, it took me a while to understand the problem. I
hope this will still be useful.

> I am trying to design a simple client-serveur example using sockets, but 
> the following one does not work. Could someone help me and tell me what 
> I did wrong? or could send me a working example?
> 

I believe your problem is that you go too fast on the client. The
client sends all the data and then closes the socket. 

In your case, it might happen that you close the socket before the
server has had time to read all the data. When you close the socket on
the client, the stream on the server side is closed by the Operating
System and Yap on the server cannot ever read the last three lines.

You need to force the client to wait for a while before you close the
socket, maybe by asking the server to send a character at the end.

> Thanks a lot in advance for your help and time,

Again, my apologies for the delay in answering.

> Best regards,
> Erick.
> 

Best regards,

Vitor

[Yap-users] problem with sockets

[Erick A. <alp...@lr...>]

Hello,

I am trying to design a simple client-serveur example using sockets, but 
the following one does not work. Could someone help me and tell me what 
I did wrong? or could send me a working example?

Thanks a lot in advance for your help and time,
Best regards,
Erick.

Here's a typical session:

server side
1022# yap
[ Restoring file startup ]
[ YAP version Yap-4.3.20 ]
    ?- ['client-server.yap'].
  [ consulting client-server.yap... ]
  [ client-server.yap consulted 1924 bytes in 0 seconds ]

yes
    ?- server.
Connection established : Client -> 127.0.0.1
test
test
[ Syntax Error at line 3: system_error ]
[ SYSTEM ERROR- read in prolog:read/2 ]
    ?-

client side
1023# yap
[ Restoring file startup ]
[ YAP version Yap-4.3.20 ]
    ?- ['client-server.yap'].
  [ consulting client-server.yap... ]
  [ client-server.yap consulted 1924 bytes in 0 seconds ]

yes
    ?- client.

yes
    ?-


% client-server.yap

server :-
     socket('AF_INET', Socket),
     socket_bind(Socket, 'AF_INET'(_, 1729)),
     socket_listen(Socket, 5),
     socket_accept(Socket, Client, Stream),
     write('Connection established : Client -> '),
     write(Client),
     nl,
     repeat,
     read(Stream,Term),
     (Term==end_of_file
     ->
         !
     ;
         write(Term),nl,
         fail),
     close(Stream),
     socket_close(Socket).

client :-
     socket('AF_INET', Socket),
     socket_connect(Socket, 'AF_INET'(localhost, 1729) , S),
     format(S,"test.~n",[]),
     format(S,"test.~n",[]),
     format(S,"test.~n",[]),
     format(S,"test.~n",[]),
     format(S,"test.~n",[]),
     format(S,"test.~n",[]),
     close(S).

[Yap-users] problem with sockets

[Erick A. <alp...@lr...>]

Hello,

I am trying to design a simple client-serveur example using sockets, but 
the following one does not work. Could someone help me and tell me what 
I did wrong? or could send me a working example?

Thanks a lot in advance for your help and time,
Best regards,
Erick.

Here's a typical session:

server side
1022# yap
[ Restoring file startup ]
[ YAP version Yap-4.3.20 ]
    ?- ['client-server.yap'].
  [ consulting client-server.yap... ]
  [ client-server.yap consulted 1924 bytes in 0 seconds ]

yes
    ?- server.
Connection established : Client -> 127.0.0.1
test
test
[ Syntax Error at line 3: system_error ]
[ SYSTEM ERROR- read in prolog:read/2 ]
    ?-

client side
1023# yap
[ Restoring file startup ]
[ YAP version Yap-4.3.20 ]
    ?- ['client-server.yap'].
  [ consulting client-server.yap... ]
  [ client-server.yap consulted 1924 bytes in 0 seconds ]

yes
    ?- client.

yes
    ?-


% client-server.yap

server :-
	socket('AF_INET', Socket),
	socket_bind(Socket, 'AF_INET'(_, 1729)),
	socket_listen(Socket, 5),
	socket_accept(Socket, Client, Stream),
	write('Connection established : Client -> '),
	write(Client),
	nl,
	repeat,
	read(Stream,Term),
	(Term==end_of_file
	->
	    !
	;
	    write(Term),nl,
	    fail),
	close(Stream),
	socket_close(Socket).

client :-
	socket('AF_INET', Socket),
	socket_connect(Socket, 'AF_INET'(localhost, 1729) , S),
	format(S,"test.~n",[]),
	format(S,"test.~n",[]),
	format(S,"test.~n",[]),
	format(S,"test.~n",[]),
	format(S,"test.~n",[]),
	format(S,"test.~n",[]),
	close(S).

[Yap-users] Web Content Management

[<ph...@ms...>]

<html>
<head>
<title>Untitled Document</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>

<body bgcolor="#FFFFFF" text="#000000">
I noticed your email address on a list serve related to next generation web services, 
						
applications, web development, and content management solutions.
<p>It's apparent that you already recognize which technologies have the potential 
  to streamline your business and impact your bottom line. How about being the 
  first to know about new products and developments that are specific to these 
  areas of interest?</p>
<p>With your permission, we'd like to keep you informed of the best ways to stay 
  ahead of your competition. To opt-in to receive updates on cutting-edge content 
  management and web tools, as well as an e-newsletter with the latest industry 
  developments, <a href="http://195.235.97.200/personal5/promote12/dy/">click 
  here</a>.</p>
<p>We look forward to sharing tomorrow's enterprise management solutions with 
  you...today!</p>
<p>Cordially</p>
<p>Victor Black</p>
</body>
</html>

Re: [Yap-users] Yap 4.3.20 under Win98

[Vitor S. C. <vi...@bi...>]

Dear Christophe,

> I have an issue to compile Yap under Windows 98 with Cygwin. The function 
> WinError in the file sysbits.c crashes every time at the command Error(SYSTEM_ERROR, TermNil, "%s: %s", yap_error, msg).
> The only I found to compile and run Yap is to remove this line.... which 
> isn't good.

Error is called with a constant describing the kind of Error (check
Yap.h.m4 for all its possible values), a Prolog term describing the
term that caused the error, if known, and a format style string to
output as an error message.

You may also want to check the CVS version to see if Error is still
giving trouble.

Can you explain me how is this called? There should be no call to
Error during Yap compilation.

> I did install Cygwin quite recently, including Mingw and I'm not sure at 
> all where the error is coming from as I don't have any documentation about 
> the function Error().
> 

Error may have some relatively nasty stuff, as it may need to prepare
a catch and throw mechanism. That has changed a lot in the CVS
version, so it's probably a good idea to look at the CVS version.

The algorithm is to set up the Prolog execution mode in order to avoid
possible error within error situations, then create a Prolog term that
contains the error message through a very repetitve switch, and then
either exit, fail, or do some magic to set up a throw that work from
within C code.

> The second issue I have is with the DLL yap.dll. The files c_interface.h/c 
> and yap.def are consistent for the function YapMkVarTerm/MkVarTerm.
> I could fix it by using YapMkVarTerm, but I need someone to make the 
> change on the CVS version.
> 

Done, Thanks!

> Thanks in advance for any help.
> 

Cheers,

Vitor

[Yap-users] Yap 4.3.20 under Win98

[<chr...@eu...>]

Hi,

I have an issue to compile Yap under Windows 98 with Cygwin. The function 
WinError in the file sysbits.c crashes every time at the command Error(SYSTEM_ERROR, TermNil, "%s: %s", yap_error, msg).
The only I found to compile and run Yap is to remove this line.... which 
isn't good.
I did install Cygwin quite recently, including Mingw and I'm not sure at 
all where the error is coming from as I don't have any documentation about 
the function Error().

The second issue I have is with the DLL yap.dll. The files c_interface.h/c 
and yap.def are consistent for the function YapMkVarTerm/MkVarTerm.
I could fix it by using YapMkVarTerm, but I need someone to make the 
change on the CVS version.

Thanks in advance for any help.

Best regards,
Christophe Billard     -     Business Systems Specialist
ISI Winnersh, *120 6708
+44 (118) 944 6708
email: chr...@eu...

[Yap-users] New debugger

[Vitor S. C. <vi...@bi...>]

Hi!

I have made a lot of significant changes to the CVS version of
Yap. They include:

- new catch/throw mechanism that should be much cleaner, and less
  resource intensive.
- caught some bugs in signal handling that would make Yap core dump
  when aborting.
- fixed debugger not to try to debug itself (that would happen often)
  and would make debugger much slower.
- creep now creeps at exit port.
- full leash is now default.

The changes are quite extensive, and the debugger may have bugs
(nothing new, I suppose ;-)). What I'd ask people to do is to give the
CVS version a try and report back on any problems.

Thanks for understanding!

Vitor

Re: [Yap-users] Fatal YAP Error

[Oliver W. <Ath...@gm...>]

Hi,

> I didn't quite understand. You mean the search is buggy in Yap?

No, it is not. I keeped working on the Problem and it seemed to be solved
right now. However i am still not able to reproduce the Error at will, and i
have tried hard. 

I've got a dynamic predicate like

:- dynamic(dummy/0).

Later on the Code is like the following :
main :-			% Case 1
	assert(dummy),	% The assert
	[ predicates ]
	retract(dummy),
	...
main :-			% Case 2
	call(dummy),	% Bug
	retractall(dummy),
	...
If a predicate in main-Case 1 fails, it wont retract(dummy) and enters
Case 2. There it checks if dummy exists, retracts it and goes on. That's
what it should do, and does now.

The Bug was in the line Bug, here it broke when checking dummy. 
Errormessage is this one :

[ Fatal YAP Error: likely bug in YAP, segmentation violation exiting.... ]

When exactly it happend varied (this Part was in a Loop), 
but the location of the Bug is sure.
However, it get it to work trough this Add-On:
assert_if_new(X) :- call(X), !.
assert_if_new(X) :- assert(X).

Obviously it asserted the dummy a few times before (about 20-130 times i
checked it), and this seemed to cause Problems for the call(in Line Bug).

Its now working fine again, and I hope this report helps u to get an idea
what happend.

Cheers
Oliver Werth



-- 
GMX - Die Kommunikationsplattform im Internet.
http://www.gmx.net