[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Recursive structures...
From: |
zet |
Subject: |
Recursive structures... |
Date: |
Wed, 31 Jan 2001 09:46:14 +0200 |
Hello!
I'm trying to run such a predicate:
rs:- _qbar=nand:X(a:in, b:out, c:_q),
_q=nand:X(e:in, f:out, g:_qbar) % just for example
assertz(genl(_qbar)),
assertz(genl(_q)).
It just kills gprolog interpreter, leaving core dump and message about
segfault.
Can somebody give me a hint on how to create such structures in GNU Prolog,
or how such structures can be replaced with alternative...
Thanks in advance.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Recursive structures...,
zet <=
- Prev by Date:
Re: if
- Next by Date:
RE: if
- Previous by thread:
if
- Index(es):